Searched refs:val64 (Results 1 – 1 of 1) sorted by relevance
578 unsigned long val64; in mmu_tcr_init() local581 val64 = 0x00447fUL; in mmu_tcr_init()582 __asm__ volatile("msr MAIR_EL1, %0\n dsb sy\n" ::"r"(val64)); in mmu_tcr_init()584 __asm__ volatile ("mrs %0, ID_AA64MMFR0_EL1":"=r"(val64)); in mmu_tcr_init()585 pa_range = val64 & 0xf; /* PARange */ in mmu_tcr_init()588 val64 = (16UL << 0) /* t0sz 48bit */ in mmu_tcr_init()607 __asm__ volatile("msr TCR_EL1, %0\n" ::"r"(val64)); in mmu_tcr_init()
Completed in 10 milliseconds