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

/xnu-2422.115.4/osfmk/i386/
H A Dpmap_pcid.h33 void pmap_pcid_initialize_kernel(pmap_t);
/xnu-2422.115.4/osfmk/x86_64/
H A Dpmap_pcid.c154 void pmap_pcid_initialize_kernel(pmap_t p) { function
H A Dpmap.c364 pmap_pcid_initialize_kernel(kernel_pmap);

Completed in 29 milliseconds