Symbol: BIOS_SADDRTOLADDR
sys/dev/video/fb/vga.c
565
p = BIOS_SADDRTOLADDR(p);
sys/dev/video/fb/vga.c
568
p = BIOS_SADDRTOLADDR(p);