Searched refs:vmx_stash_intinfo (Results 1 – 1 of 1) sorted by relevance
1166 vmx_stash_intinfo(struct vmx *vmx, int vcpu) in vmx_stash_intinfo() function3812 vmx_stash_intinfo(vmx, vcpuid); in vmx_pause()