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)