Searched refs:pmap_switch_user_ttb (Results 1 – 1 of 1) sorted by relevance
776 static void pmap_switch_user_ttb(pmap_t pmap, pmap_cpu_data_t *cpu_data_ptr);4652 pmap_switch_user_ttb(pmap, cpu_data_ptr);7855 pmap_switch_user_ttb(pmap_t pmap, pmap_cpu_data_t *cpu_data_ptr) function