aboutsummaryrefslogtreecommitdiff
path: root/sys/amd64/vmm/io/ppt.h
diff options
context:
space:
mode:
Diffstat (limited to 'sys/amd64/vmm/io/ppt.h')
-rw-r--r--sys/amd64/vmm/io/ppt.h6
1 files changed, 0 insertions, 6 deletions
diff --git a/sys/amd64/vmm/io/ppt.h b/sys/amd64/vmm/io/ppt.h
index f97c399564d7..9377f34d50e6 100644
--- a/sys/amd64/vmm/io/ppt.h
+++ b/sys/amd64/vmm/io/ppt.h
@@ -43,12 +43,6 @@ int ppt_assigned_devices(struct vm *vm);
bool ppt_is_mmio(struct vm *vm, vm_paddr_t gpa);
/*
- * Returns the number of devices sequestered by the ppt driver for assignment
- * to virtual machines.
- */
-int ppt_avail_devices(void);
-
-/*
* The following functions should never be called directly.
* Use 'vm_assign_pptdev()' and 'vm_unassign_pptdev()' instead.
*/