io.h

Go to the documentation of this file.

#ifndef __IO_H__
#define __IO_H__
 
#include <types.h>
 
static inline u8_t read8(virtual_addr_t addr) {
    return (*((volatile u8_t *) (addr)));
}
 
static inline u16_t read16(virtual_addr_t addr) {
    return (*((volatile u16_t *) (addr)));
}
 
static inline u32_t read32(virtual_addr_t addr) {
    return (*((volatile u32_t *) (addr)));
}
 
static inline u64_t read64(virtual_addr_t addr) {
    return (*((volatile u64_t *) (addr)));
}
 
static inline void write8(virtual_addr_t addr, u8_t value) {
    *((volatile u8_t *) (addr)) = value;
}
 
static inline void write16(virtual_addr_t addr, u16_t value) {
    *((volatile u16_t *) (addr)) = value;
}
 
static inline void write32(virtual_addr_t addr, u32_t value) {
    *((volatile u32_t *) (addr)) = value;
}
 
static inline void write64(virtual_addr_t addr, u64_t value) {
    *((volatile u64_t *) (addr)) = value;
}
 
#endif /* __IO_H__ */