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