io.h

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0+ */
 
#ifndef __IO_H__
#define __IO_H__
 
#include <stdint.h>
#include <types.h>
 
#define BIT(x) (1 << x)
 
#define REG32(x) (*((volatile uint32_t *) (x)))
 
#define clrsetbits_le32(addr, clear, set) write32((addr), (read32(addr) & ~(clear)) | (set))
 
#define setbits_le32(addr, set) write32((addr), read32(addr) | (set))
 
#define clrbits_le32(addr, clear) write32((addr), read32(addr) & ~(clear))
 
#define readb(addr) read8(addr)
 
#define writeb(val, addr) write8((addr), (val))
 
#define readw(addr) read16(addr)
 
#define writew(val, addr) write16((addr), (val))
 
#define readl(addr) read32(addr)
 
#define writel(val, addr) write32((addr), (val))
 
static inline __attribute__((__always_inline__)) uint8_t read8(virtual_addr_t addr) {
    return (*((volatile uint8_t *) (addr)));
}
 
static inline __attribute__((__always_inline__)) uint16_t read16(virtual_addr_t addr) {
    return (*((volatile uint16_t *) (addr)));
}
 
static inline __attribute__((__always_inline__)) uint32_t read32(virtual_addr_t addr) {
    return (*((volatile uint32_t *) (addr)));
}
 
static inline __attribute__((__always_inline__)) uint64_t read64(virtual_addr_t addr) {
    return (*((volatile uint64_t *) (addr)));
}
 
static inline __attribute__((__always_inline__)) void write8(virtual_addr_t addr, uint8_t value) {
    *((volatile uint8_t *) (addr)) = value;
}
 
static inline __attribute__((__always_inline__)) void write16(virtual_addr_t addr, uint16_t value) {
    *((volatile uint16_t *) (addr)) = value;
}
 
static inline __attribute__((__always_inline__)) void write32(virtual_addr_t addr, uint32_t value) {
    *((volatile uint32_t *) (addr)) = value;
}
 
static inline __attribute__((__always_inline__)) void write64(virtual_addr_t addr, uint64_t value) {
    *((volatile uint64_t *) (addr)) = value;
}
 
 
#endif