Symbol: ppt_pci_reset
sys/amd64/vmm/io/ppt.c
433
ppt_pci_reset(ppt->dev);
sys/amd64/vmm/io/ppt.c
464
ppt_pci_reset(ppt->dev);