Searched refs:set_current_vmptr (Results 1 – 1 of 1) sorted by relevance
5779 static void set_current_vmptr(struct vcpu_vmx *vmx, gpa_t vmptr) in set_current_vmptr() function 5856 set_current_vmptr(vmx, vmptr); in handle_vmptrld() 6871 set_current_vmptr(vmx, kvm_state->hdr.vmx.vmcs12_pa); in vmx_set_nested_state()