pci_front bugfix - do not propagate cmd reg write twice

[palacios.git] / linux_module / ioctls.txt

diff --git a/linux_module/ioctls.txt b/linux_module/ioctls.txt
index 95ea1e6..d1f9f2a 100644 (file)
--- a/linux_module/ioctls.txt
+++ b/linux_module/ioctls.txt
@@ -7,6 +7,7 @@ Global commands (/dev/v3vee)
 13 -- (VMM) Free VM
 
 50 -- (VMM) Add physical memory to VMM manager
+51 -- (VMM) Reset VMM manager memory counts
 
 55 -- (IFACE) Add PCI HW Device
 56 -- (IFACE) Add PCI User Device