Searched refs:tcr (Results 1 – 1 of 1) sorted by relevance
884 uint64_t tcr = 0; in core_init_mmu_regs() local893 tcr = TCR_RES1; in core_init_mmu_regs()894 tcr |= TCR_XRGNX_WBWA << TCR_IRGN0_SHIFT; in core_init_mmu_regs()895 tcr |= TCR_XRGNX_WBWA << TCR_ORGN0_SHIFT; in core_init_mmu_regs()896 tcr |= TCR_SHX_ISH << TCR_SH0_SHIFT; in core_init_mmu_regs()897 tcr |= ips << TCR_EL1_IPS_SHIFT; in core_init_mmu_regs()898 tcr |= 64 - CFG_LPAE_ADDR_SPACE_BITS; in core_init_mmu_regs()901 tcr |= TCR_EPD1; in core_init_mmu_regs()907 cfg->tcr_el1 = tcr; in core_init_mmu_regs()
Completed in 5 milliseconds