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