Lines Matching refs:pmap_t
32 void pmap_pcid_initialize(pmap_t);
33 void pmap_pcid_initialize_kernel(pmap_t);
35 void pmap_pcid_deallocate_pcid(int, pmap_t);
37 void pmap_destroy_pcid_sync(pmap_t);
38 void pmap_pcid_lazy_flush(pmap_t);
39 void pmap_pcid_activate(pmap_t, int);
40 pcid_t pcid_for_pmap_cpu_tuple(pmap_t, int);
42 #define PMAP_INVALID ((pmap_t)0xDEAD7347)
69 static inline void pmap_pcid_invalidate_all_cpus(pmap_t tpmap) {
91 static inline void pmap_pcid_invalidate_cpu(pmap_t tpmap, int ccpu) {
95 static inline void pmap_pcid_validate_cpu(pmap_t tpmap, int ccpu) {