Searched refs:get_tcr (Results 1 – 3 of 3) sorted by relevance
/external/u-boot/arch/arm/cpu/armv8/ |
D | cache_v8.c | 37 u64 get_tcr(int el, u64 *pips, u64 *pva_bits) in get_tcr() function 113 get_tcr(0, NULL, &va_bits); in find_pte() 341 get_tcr(0, NULL, &va_bits); in get_page_table_size() 413 set_ttbr_tcr_mair(el, gd->arch.tlb_addr, get_tcr(el, NULL, NULL), in mmu_setup()
|
/external/u-boot/arch/arm/include/asm/armv8/ |
D | mmu.h | 134 u64 get_tcr(int el, u64 *pips, u64 *pva_bits);
|
/external/u-boot/arch/arm/cpu/armv8/fsl-layerscape/ |
D | cpu.c | 86 get_tcr(el, NULL, NULL) & in early_mmu_setup() 237 set_ttbr_tcr_mair(el, gd->arch.tlb_addr, get_tcr(el, NULL, NULL), in final_mmu_setup()
|