Searched refs:user_asid (Results 1 – 1 of 1) sorted by relevance
28 static void compute_regs(uint32_t user_asid, uint32_t *l1_page, struct tlb_regs *regs) in compute_regs() argument33 __ASSERT_NO_MSG((user_asid == 0) || ((user_asid > 2) && in compute_regs()34 (user_asid < XTENSA_MMU_SHARED_ASID))); in compute_regs()38 (user_asid << 16) | 0x000201; in compute_regs()41 regs->ptevaddr = CONFIG_XTENSA_MMU_PTEVADDR + user_asid * 0x400000; in compute_regs()81 void xtensa_set_paging(uint32_t user_asid, uint32_t *l1_page) in xtensa_set_paging() argument91 compute_regs(user_asid, l1_page, ®s); in xtensa_set_paging()
