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