VMCS_EXIT_QUALIFICATION
qual = vmx_vmread(VMCS_EXIT_QUALIFICATION);
perm = vmx_vmread(VMCS_EXIT_QUALIFICATION);