- i -

• INFO : debug.h
• INITGUID : driver.h
• invalid_file : exception.h
• invalid_vmm_state : exception.h
• IOCTL_ADD_MODULE_CMD : driver_entry_interface.h
• IOCTL_ADD_MODULE_LENGTH_CMD : driver_entry_interface.h
• IOCTL_DUMP_VMM_CMD : driver_entry_interface.h
• ioctl_failed : exception.h
• IOCTL_LOAD_VMM_CMD : driver_entry_interface.h
• IOCTL_SET_CPUID_CMD : driver_entry_interface.h
• IOCTL_SET_VCPUID_CMD : driver_entry_interface.h
• IOCTL_START_VMM_CMD : driver_entry_interface.h
• IOCTL_STOP_VMM_CMD : driver_entry_interface.h
• IOCTL_UNLOAD_VMM_CMD : driver_entry_interface.h
• IOCTL_VMCALL_CMD : driver_entry_interface.h
• IOCTL_VMM_STATUS_CMD : driver_entry_interface.h