Searched refs:vmx_invvpid (Results 1 – 1 of 1) sorted by relevance
1241 vmx_invvpid(struct vmx *vmx, int vcpu, pmap_t pmap, int running) in vmx_invvpid() function1313 vmx_invvpid(vmx, vcpu, pmap, 1); in vmx_set_pcpu_defaults()3417 vmx_invvpid(vmx, vcpu, pmap, running); in vmx_setreg()