Searched refs:vmx_invvpid (Results 1 – 1 of 1) sorted by relevance
1289 vmx_invvpid(struct vmx *vmx, struct vmx_vcpu *vcpu, pmap_t pmap, int running) in vmx_invvpid() function1361 vmx_invvpid(vmx, vcpu, pmap, 1); in vmx_set_pcpu_defaults()3497 vmx_invvpid(vmx, vcpu, pmap, running); in vmx_setreg()