Symbol: mptable_pci_int_dump
sys/platform/pc64/include/mptable.h
32
void mptable_pci_int_dump(void);
sys/platform/pc64/x86_64/machdep.c
727
mptable_pci_int_dump();