Symbol: ppt_assigned_devices
sys/amd64/vmm/io/ppt.h
42
int ppt_assigned_devices(struct vm *vm);
sys/amd64/vmm/vmm.c
564
if (ppt_assigned_devices(vm) == 0)
sys/amd64/vmm/vmm.c
578
if (ppt_assigned_devices(vm) == 0) {