Searched refs:vpid02 (Results 1 – 2 of 2) sorted by relevance
185 u16 vpid02; member
3321 vpid_sync_vcpu_single(vmx->nested.vpid02); in vmx_flush_tlb_all()