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