Searched refs:tss_cr3 (Results 1 – 4 of 4) sorted by relevance
52 int tss_cr3; /* page table directory */ member
66 uint32_t tss_cr3; member509 pdpte = paddr_guest2host(ctx, tss->tss_cr3 & ~0x1f, 32); in tss32_restore()529 SETREG(ctx, vcpu, VM_REG_GUEST_CR3, tss->tss_cr3); in tss32_restore()530 ts->paging.cr3 = tss->tss_cr3; in tss32_restore()
1038 t->tss_es, t->tss_fs, t->tss_gs, t->tss_cr3); in dblfault_handler()
1675 dblfault_tss->tss_cr3 = pmap_get_kcr3(); in machdep_init_trampoline()