Searched defs:new_cext_nucleus (Results 1 – 2 of 2) sorted by relevance
573 uchar_t new_cext_primary, new_cext_nucleus; in mmu_init_kernel_pgsz() local
2180 uchar_t new_cext_primary, new_cext_nucleus; local