Searched refs:pmap0 (Results 1 – 1 of 1) sorted by relevance
192 pmap_t pmap0; in init_secondary() local242 pmap0 = vmspace_pmap(&vmspace0); in init_secondary()243 KASSERT(pmap_to_ttbr0(pmap0) == READ_SPECIALREG(ttbr0_el1), in init_secondary()245 pcpup->pc_curpmap = pmap0; in init_secondary()