Symbol: BIOS_VADDRTOPADDR
sys/amd64/include/pc/bios.h
67
#define BIOS_VADDRTOPADDR(x) ((x) - KERNBASE)
sys/i386/include/pc/bios.h
237
#define BIOS_VADDRTOPADDR(x) ((x) - PMAP_MAP_LOW)