Searched refs:pmap_switch_user_ttb (Results 1 – 1 of 1) sorted by relevance
763 static void pmap_switch_user_ttb(pmap_t pmap, pmap_cpu_data_t *cpu_data_ptr);4516 pmap_switch_user_ttb(pmap, cpu_data_ptr);7552 pmap_switch_user_ttb(pmap_t pmap, pmap_cpu_data_t *cpu_data_ptr) function