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

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

Completed in 117 milliseconds