Searched refs:tss_cr3 (Results 1 – 4 of 4) sorted by relevance
501 CPU->cpu_tss->tss_cr3 = dftss0->tss_cr3 = getcr3(); in hat_kern_setup()
109 uint32_t tss_cr3; member
99 tss_cr3 TSS_CR3
2036 printf(tss_fmt, "tss_cr3", (void *)(uintptr_t)tss->tss_cr3); in dump_tss()