Searched refs:pmap_switch_user_ttb (Results 1 – 1 of 1) sorted by relevance
828 static void pmap_switch_user_ttb(pmap_t pmap, pmap_cpu_data_t *cpu_data_ptr);4801 pmap_switch_user_ttb(pmap, cpu_data_ptr);7915 pmap_switch_user_ttb(pmap_t pmap, pmap_cpu_data_t *cpu_data_ptr) function