coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <stdint.h>
Go to the source code of this file.
Functions | |
static __always_inline uint8_t | read8 (const volatile void *addr) |
static __always_inline uint16_t | read16 (const volatile void *addr) |
static __always_inline uint32_t | read32 (const volatile void *addr) |
static __always_inline uint64_t | read64 (const volatile void *addr) |
static __always_inline void | write8 (volatile void *addr, uint8_t value) |
static __always_inline void | write16 (volatile void *addr, uint16_t value) |
static __always_inline void | write32 (volatile void *addr, uint32_t value) |
static __always_inline void | write64 (volatile void *addr, uint64_t value) |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |