Searched refs:l1_page (Results 1 – 2 of 2) sorted by relevance
28 static void compute_regs(uint32_t user_asid, uint32_t *l1_page, struct tlb_regs *regs) in compute_regs() argument32 __ASSERT_NO_MSG((((uint32_t)l1_page) & 0xfff) == 0); in compute_regs()44 l1_page[XTENSA_MMU_L1_POS(regs->ptevaddr)] = in compute_regs()45 (uint32_t)l1_page | XTENSA_MMU_PAGE_TABLE_ATTR; in compute_regs()47 regs->ptepin_at = (uint32_t)l1_page; in compute_regs()59 uint32_t vb_pte = l1_page[XTENSA_MMU_L1_POS(vecbase)]; 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()124 void xtensa_init_paging(uint32_t *l1_page) in xtensa_init_paging() argument149 compute_regs(ASID_INVALID, l1_page, ®s); in xtensa_init_paging()
515 void xtensa_init_paging(uint32_t *l1_page);523 void xtensa_set_paging(uint32_t asid, uint32_t *l1_page);