Lines Matching refs:pmap_t
115 #define PMAP_INVALID ((pmap_t)0xDEAD7347)
122 void pmap_asid_invalidate_all_cpus(pmap_t tpmap) {
139 void pmap_asid_invalidate_cpu(pmap_t tpmap, int ccpu) {
143 void pmap_asid_validate_cpu(pmap_t tpmap, int ccpu) {
169 void pmap_asid_initialize(pmap_t p) {
179 void pmap_asid_initialize_kernel(pmap_t p) {
236 void pmap_asid_deallocate_asid(int ccpu, pmap_t tpmap) {
238 pmap_t lp;
259 void pmap_destroy_asid_sync(pmap_t p) {
267 asid_t asid_for_pmap_cpu_tuple(pmap_t pmap, int ccpu) {
271 void pmap_asid_activate(pmap_t tpmap, int ccpu) {
273 pmap_t last_pmap;