Searched defs:BIOS_VADDRTOPADDR (Results 1 – 2 of 2) sorted by relevance
101 #define BIOS_VADDRTOPADDR(x) ((x) - KERNBASE) macro
271 #define BIOS_VADDRTOPADDR(x) ((x) - PMAP_MAP_LOW) macro