Searched refs:IdlePDPT (Results 1 – 6 of 6) sorted by relevance
116 movl IdlePDPT,%ecx
97 movl IdlePDPT, %eax
51 #define KCR3 ((u_int)IdlePDPT)
384 pdpt_entry_t *IdlePDPT; /* phys addr of kernel PDPT */ variable447 IdlePDPT = (pdpt_entry_t *)allocpages(1, &physfree); in pmap_cold()473 IdlePDPT[a] = ((u_int)IdlePTD + ptoa(a)) | PG_V; in pmap_cold()502 pmap_cold_mapident((u_long)IdlePDPT, 1); in pmap_cold()551 cr3 = (u_int)IdlePDPT; in pmap_cold()618 kernel_pmap->pm_pdpt = IdlePDPT; in pmap_bootstrap()2053 pmap->pm_pdpt = IdlePDPT; in pmap_pinit0()
2522 thread0.td_pcb->pcb_cr3 = (int)IdlePDPT; in init386()2593 dblfault_tss->tss_cr3 = (int)IdlePDPT; in machdep_init_trampoline()
204 extern pdpt_entry_t *IdlePDPT;