Searched refs:pmap_switch (Results 1 - 3 of 3) sorted by relevance

/xnu-2422.115.4/osfmk/vm/
H A Dpmap.h196 extern void pmap_switch(pmap_t);
/xnu-2422.115.4/osfmk/kern/
H A Dbsd_kern.c312 pmap_switch(map->pmap);
/xnu-2422.115.4/osfmk/x86_64/
H A Dpmap.c2123 pmap_switch(pmap_t tpmap) function

Completed in 30 milliseconds