1004 ppt_assign_device(struct vm *vm, int pptfd)  in ppt_assign_device()  argument
1011 	err = ppt_findf(NULL, pptfd, &ppt);  in ppt_assign_device()
1040 	releasef(pptfd);  in ppt_assign_device()
1098 ppt_unassign_device(struct vm *vm, int pptfd)  in ppt_unassign_device()  argument
1104 	err = ppt_findf(vm, pptfd, &ppt);  in ppt_unassign_device()
1112 	releasef(pptfd);  in ppt_unassign_device()
1133 ppt_map_mmio(struct vm *vm, int pptfd, vm_paddr_t gpa, size_t len,  in ppt_map_mmio()  argument
1145 	err = ppt_findf(vm, pptfd, &ppt);  in ppt_map_mmio()
1175 	releasef(pptfd);  in ppt_map_mmio()
1181 ppt_unmap_mmio(struct vm *vm, int pptfd, vm_paddr_t gpa, size_t len)  in ppt_unmap_mmio()  argument
1188 	err = ppt_findf(vm, pptfd, &ppt);  in ppt_unmap_mmio()
1208 	releasef(pptfd);  in ppt_unmap_mmio()
1236 ppt_setup_msi(struct vm *vm, int vcpu, int pptfd, uint64_t addr, uint64_t msg,  in ppt_setup_msi()  argument
1247 	err = ppt_findf(vm, pptfd, &ppt);  in ppt_setup_msi()
1334 	releasef(pptfd);  in ppt_setup_msi()
1340 ppt_setup_msix(struct vm *vm, int vcpu, int pptfd, int idx, uint64_t addr,  in ppt_setup_msix()  argument
1348 	err = ppt_findf(vm, pptfd, &ppt);  in ppt_setup_msix()
1439 	releasef(pptfd);  in ppt_setup_msix()
1445 ppt_get_limits(struct vm *vm, int pptfd, int *msilimit, int *msixlimit)  in ppt_get_limits()  argument
1451 	err = ppt_findf(vm, pptfd, &ppt);  in ppt_get_limits()
1466 	releasef(pptfd);  in ppt_get_limits()
1472 ppt_disable_msix(struct vm *vm, int pptfd)  in ppt_disable_msix()  argument
1478 	err = ppt_findf(vm, pptfd, &ppt);  in ppt_disable_msix()
1486 	releasef(pptfd);  in ppt_disable_msix()