Searched refs:guest_interruptibility_info (Results 1 – 3 of 3) sorted by relevance
177 u32 guest_interruptibility_info; member475 *value = current_evmcs->guest_interruptibility_info; in evmcs_vmread()939 current_evmcs->guest_interruptibility_info = value; in evmcs_vmwrite()
199 u32 guest_interruptibility_info;
1711 vmcs12->guest_interruptibility_info = in copy_enlightened_to_vmcs12()1712 evmcs->guest_interruptibility_info; in copy_enlightened_to_vmcs12()2096 evmcs->guest_interruptibility_info = in copy_vmcs12_to_enlightened()2097 vmcs12->guest_interruptibility_info; in copy_vmcs12_to_enlightened()2524 vmcs12->guest_interruptibility_info); in prepare_vmcs02_early()2526 !(vmcs12->guest_interruptibility_info & GUEST_INTR_STATE_NMI); in prepare_vmcs02_early()4648 vmcs12->guest_interruptibility_info = in sync_vmcs02_to_vmcs12()