Searched defs:BIOS_VADDRTOPADDR (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/amd64/include/pc/ | ||
| H A D | bios.h | 67 #define BIOS_VADDRTOPADDR(x) ((x) - KERNBASE) macro |
| /freebsd/sys/i386/include/pc/ | ||
| H A D | bios.h | 237 #define BIOS_VADDRTOPADDR(x) ((x) - PMAP_MAP_LOW) macro |