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

/xnu-2422.115.4/osfmk/i386/
H A Dpmap_pcid.h39 void pmap_pcid_activate(pmap_t, int);
H A Dpmap.h478 pmap_pcid_activate(tpmap, ccpu);
/xnu-2422.115.4/osfmk/x86_64/
H A Dpmap_pcid.c253 void pmap_pcid_activate(pmap_t tpmap, int ccpu) { function

Completed in 14 milliseconds