Symbol: BIOS_PADDRTOVADDR
sys/amd64/include/pc/bios.h
66
#define BIOS_PADDRTOVADDR(x) ((x) + KERNBASE)
sys/dev/fb/vga.c
70
#define BIOS_PADDRTOVADDR(x) (x)
sys/i386/include/pc/bios.h
236
#define BIOS_PADDRTOVADDR(x) ((x) + PMAP_MAP_LOW)