Searched refs:pmap0 (Results 1 – 1 of 1) sorted by relevance
208 pmap_t pmap0; in init_secondary() local259 pmap0 = vmspace_pmap(&vmspace0); in init_secondary()260 KASSERT(pmap_to_ttbr0(pmap0) == READ_SPECIALREG(ttbr0_el1), in init_secondary()262 pcpup->pc_curpmap = pmap0; in init_secondary()