Lines Matching refs:GUEST_INTERRUPTIBILITY_INFO
994 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
1007 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
1018 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility);
2760 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, 0);
2896 return !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) &
2904 return vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI;
2918 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,
2921 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO,
2929 !(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) &
3439 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,
3830 vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,
3854 vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO,