Searched refs:u32ASID (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/VMM/VMMR0/
H A DHMSVMR0.h88 * @param u32ASID Tagged TLB id.
90 DECLASM(void) SVMR0InvlpgA(RTGCPTR pPageGC, uint32_t u32ASID);
H A DHMSVMR0.cpp759 pVmcb->ctrl.TLBCtrl.n.u32ASID = 1;
844 SVMR0InvlpgA(GCVirt, pVmcb->ctrl.TLBCtrl.n.u32ASID);
969 SVMR0InvlpgA(pVCpu->hm.s.TlbShootdown.aPages[i], pVmcb->ctrl.TLBCtrl.n.u32ASID);
979 if (pVmcb->ctrl.TLBCtrl.n.u32ASID != pVCpu->hm.s.uCurrentAsid)
981 pVmcb->ctrl.TLBCtrl.n.u32ASID = pVCpu->hm.s.uCurrentAsid;
2758 Log4(("ctrl.TLBCtrl.u32ASID %#x\n", pVmcb->ctrl.TLBCtrl.n.u32ASID));
/vbox/include/VBox/vmm/
H A Dhm_svm.h520 uint32_t u32ASID : 32; member in struct:__anon340::__anon341

Completed in 233 milliseconds