Searched refs:vmx_invvpid (Results 1 – 1 of 1) sorted by relevance
947 vmx_invvpid(struct vmx *vmx, int vcpu, int running) in vmx_invvpid() function1051 vmx_invvpid(vmx, vcpu, 1); in vmx_set_pcpu_defaults()1707 vmx_invvpid(vmx, vcpu, 1); in vmx_emulate_cr0_access()3208 vmx_invvpid(vmx, vcpu, in vmx_setreg()