karina
14 lines
305 B
C
14 lines
305 B
C
#include "bootinfo.h"
|
|
#include <stdint.h>
|
|
|
|
static inline void mmio_write32(uintptr_t addr, uint32_t val) {
|
|
*(volatile uint32_t *)addr = val;
|
|
}
|
|
|
|
static inline uint32_t mmio_read32(uintptr_t addr) {
|
|
return *(volatile uint32_t *)addr;
|
|
}
|
|
|
|
static inline void _wfi(void) {
|
|
__asm__ volatile("wfi");
|
|
} |