Searched refs:tss_cr3 (Results 1 – 2 of 2) sorted by relevance
53 int tss_cr3; /* page table directory */ member
2571 dblfault_tss->tss_cr3 = pmap_get_kcr3(); in machdep_init_trampoline()