Searched refs:tss_cr3 (Results 1 – 2 of 2) sorted by relevance
109 uint32_t tss_cr3; member
78 uint32_t tss_cr3; member521 pdpte = paddr_guest2host(ctx, tss->tss_cr3 & ~0x1f, 32); in tss32_restore()541 SETREG(vcpu, VM_REG_GUEST_CR3, tss->tss_cr3); in tss32_restore()542 ts->paging.cr3 = tss->tss_cr3; in tss32_restore()