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