Searched refs:new_tcr (Results 1 – 2 of 2) sorted by relevance
1738 uint64_t old_tcr, new_tcr; in arm_set_kernel_tbi() local1740 old_tcr = new_tcr = get_tcr(); in arm_set_kernel_tbi()1745 new_tcr |= TCR_TBI1_TOPBYTE_IGNORED; in arm_set_kernel_tbi()1746 new_tcr |= TCR_TBID1_ENABLE; in arm_set_kernel_tbi()1748 if (old_tcr != new_tcr) { in arm_set_kernel_tbi()1749 set_tcr(new_tcr); in arm_set_kernel_tbi()1750 sysreg_restore.tcr_el1 = new_tcr; in arm_set_kernel_tbi()1759 uint64_t old_tcr, new_tcr; in arm_set_user_tbi() local1761 old_tcr = new_tcr = get_tcr(); in arm_set_user_tbi()1762 new_tcr |= TCR_TBI0_TOPBYTE_IGNORED; in arm_set_user_tbi()[all …]
1432 uint64_t old_tcr, new_tcr; in arm_set_kernel_tbi() local1434 old_tcr = new_tcr = get_tcr(); in arm_set_kernel_tbi()1439 new_tcr |= TCR_TBI1_TOPBYTE_IGNORED; in arm_set_kernel_tbi()1440 new_tcr |= TCR_TBID1_ENABLE; in arm_set_kernel_tbi()1442 if (old_tcr != new_tcr) { in arm_set_kernel_tbi()1443 set_tcr(new_tcr); in arm_set_kernel_tbi()1444 sysreg_restore.tcr_el1 = new_tcr; in arm_set_kernel_tbi()