def vmx_procbased_ctls_secondary(self): return msrfield.is_vmx_cap_supported(self, 1 << 31)
def vmx_procbased_ctls_msr_bitmap(self): return msrfield.is_vmx_cap_supported(self, 1 << 28)
def vmx_procbased_ctls_hlt(self): return msrfield.is_vmx_cap_supported(self, 1 << 7)
def vmx_procbased_ctls_tsc_off(self): return msrfield.is_vmx_cap_supported(self, 1 << 3)
def vmx_procbased_ctls_tpr_shadow(self): return msrfield.is_vmx_cap_supported(self, 1 << 21)
def vmx_procbased_ctls2_unrestrict(self): return msrfield.is_vmx_cap_supported(self, 1 << 7)
def vmx_pinbased_ctls_irq_exit(self): return msrfield.is_vmx_cap_supported(self, 1 << 0)
def vmx_procbased_ctls2_vpid(self): return msrfield.is_vmx_cap_supported(self, 1 << 5)
def vmx_procbased_ctls2_rdtscp(self): return msrfield.is_vmx_cap_supported(self, 1 << 3)
def vmx_entry_ctls_ia32e_mode(self): return msrfield.is_vmx_cap_supported(self, 1 << 9)
def vmx_entry_ctls_load_pat(self): return msrfield.is_vmx_cap_supported(self, 1 << 14)
def vmx_exit_ctls_host_addr64(self): return msrfield.is_vmx_cap_supported(self, 1 << 9)
def vmx_exit_ctls_save_pat(self): return msrfield.is_vmx_cap_supported(self, 1 << 18)
def vmx_exit_ctls_ack_irq(self): return msrfield.is_vmx_cap_supported(self, 1 << 15)