Symbol: BIOS_PORTS
sys/dev/ppc/ppc.c
1681
(*(BIOS_PORTS + next_bios_ppc) != 0)) {
sys/dev/ppc/ppc.c
1682
port = *(BIOS_PORTS + next_bios_ppc++);