Symbol: mptable_pci_setup
sys/x86/x86/mptable.c
188
static void mptable_pci_setup(void);
sys/x86/x86/mptable.c
450
mptable_pci_setup();