Searched refs:xtensa_set_paging (Results 1 – 3 of 3) sorted by relevance
81 void xtensa_set_paging(uint32_t user_asid, uint32_t *l1_page) in xtensa_set_paging() function
340 xtensa_set_paging(domain->asid, domain->ptables); in xtensa_mmu_reinit()709 xtensa_set_paging(domain->asid, (uint32_t *)thread_ptables); in xtensa_mmu_tlb_shootdown()998 xtensa_set_paging(domain->arch.asid, thread->arch.ptables); in arch_mem_domain_thread_add()1123 xtensa_set_paging(domain->asid, ptables); in xtensa_swap_update_page_tables()
523 void xtensa_set_paging(uint32_t asid, uint32_t *l1_page);