Searched refs:get_tcr (Results 1 – 3 of 3) sorted by relevance
/u-boot/arch/arm/include/asm/armv8/ |
A D | mmu.h | 137 u64 get_tcr(int el, u64 *pips, u64 *pva_bits);
|
/u-boot/arch/arm/cpu/armv8/ |
A D | cache_v8.c | 42 u64 get_tcr(int el, u64 *pips, u64 *pva_bits) in get_tcr() function 118 get_tcr(0, NULL, &va_bits); in find_pte() 346 get_tcr(0, NULL, &va_bits); in get_page_table_size() 418 set_ttbr_tcr_mair(el, gd->arch.tlb_addr, get_tcr(el, NULL, NULL), in mmu_setup()
|
/u-boot/arch/arm/cpu/armv8/fsl-layerscape/ |
A D | cpu.c | 454 get_tcr(el, NULL, NULL) & in early_mmu_setup() 609 set_ttbr_tcr_mair(el, gd->arch.tlb_addr, get_tcr(el, NULL, NULL), in final_mmu_setup()
|
Completed in 6 milliseconds