Searched refs:pgtbl (Results 1 – 10 of 10) sorted by relevance
78 void rt_hw_asid_switch_pgtbl(struct rt_aspace *aspace, rt_ubase_t pgtbl) in rt_hw_asid_switch_pgtbl() argument83 ((rt_ubase_t)pgtbl >> PAGE_OFFSET_BIT)); in rt_hw_asid_switch_pgtbl()
73 void rt_hw_mmu_pgtbl_delete(void *pgtbl);
755 void rt_hw_mmu_pgtbl_delete(void *pgtbl) in rt_hw_mmu_pgtbl_delete() argument757 rt_pages_free(pgtbl, 0); in rt_hw_mmu_pgtbl_delete()
418 void *pgtbl = aspace->page_table; in rt_hw_aspace_switch() local419 pgtbl = rt_kmem_v2p(pgtbl); in rt_hw_aspace_switch()421 rt_hw_mmu_switch(pgtbl); in rt_hw_aspace_switch()500 void rt_hw_mmu_pgtbl_delete(void *pgtbl) in rt_hw_mmu_pgtbl_delete() argument502 rt_pages_free(pgtbl, 2); in rt_hw_mmu_pgtbl_delete()
129 void rt_hw_mmu_pgtbl_delete(void *pgtbl);
427 #define CREATE_TTBR0(pgtbl, asid) ((rt_ubase_t)(pgtbl) | (rt_ubase_t)(asid) << MMU_ASID_SHIFT) argument433 void *pgtbl = aspace->page_table; in rt_hw_aspace_switch() local434 pgtbl = rt_kmem_v2p(pgtbl); in rt_hw_aspace_switch()436 ttbr0 = CREATE_TTBR0(pgtbl, _aspace_get_asid(aspace)); in rt_hw_aspace_switch()952 void rt_hw_mmu_pgtbl_delete(void *pgtbl) in rt_hw_mmu_pgtbl_delete() argument954 rt_pages_free(pgtbl, 0); in rt_hw_mmu_pgtbl_delete()
108 void rt_hw_asid_switch_pgtbl(struct rt_aspace *aspace, rt_ubase_t pgtbl);
121 void rt_hw_asid_switch_pgtbl(struct rt_aspace *aspace, rt_ubase_t pgtbl);
119 void rt_hw_mmu_pgtbl_delete(void *pgtbl);
128 void rt_hw_asid_switch_pgtbl(struct rt_aspace *aspace, rt_ubase_t pgtbl);
Completed in 13 milliseconds