4 #include "types.h" // u32
6 // A typical OS page size
10 static inline u32 virt_to_phys(void *v) {
13 static inline void *memremap(u32 addr, u32 len) {
17 // Return the value of a linker script symbol (see scripts/layoutrom.py)
18 #define SYMBOL(SYM) ({ extern char SYM; (u32)&SYM; })
19 #define VSYMBOL(SYM) ((void*)SYMBOL(SYM))