Searched refs:pmap_bootstrap4_4c (Results 1 – 1 of 1) sorted by relevance
3016 static void pmap_bootstrap4_4c(void *, int, int, int);3062 pmap_bootstrap4_4c(p, nctx, nregion, nsegment); in pmap_bootstrap()3075 pmap_bootstrap4_4c(void *top, int nctx, int nregion, int nsegment) in pmap_bootstrap4_4c() function