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 uint8_t | read8 (const volatile void *addr) |
static uint16_t | read16 (const volatile void *addr) |
static uint32_t | read32 (const volatile void *addr) |
static uint64_t | read64 (const volatile void *addr) |
static void | write8 (volatile void *addr, uint8_t val) |
static void | write16 (volatile void *addr, uint16_t val) |
static void | write32 (volatile void *addr, uint32_t val) |
static void | write64 (volatile void *addr, uint64_t val) |