Searched refs:vmcs_read_cet_state (Results 1 – 1 of 1) sorted by relevance
2532 static void vmcs_read_cet_state(struct kvm_vcpu *vcpu, u64 *s_cet, in vmcs_read_cet_state() function3640 vmcs_read_cet_state(vcpu, &vmx->nested.pre_vmenter_s_cet, in nested_vmx_enter_non_root_mode()4703 vmcs_read_cet_state(&vmx->vcpu, &vmcs12->guest_s_cet, in sync_vmcs02_to_vmcs12()