Searched refs:old_tcr (Results 1 – 1 of 1) sorted by relevance
1733 uint64_t old_tcr, new_tcr; in arm_set_kernel_tbi() local1735 old_tcr = new_tcr = get_tcr(); in arm_set_kernel_tbi()1743 if (old_tcr != new_tcr) { in arm_set_kernel_tbi()1754 uint64_t old_tcr, new_tcr; in arm_set_user_tbi() local1756 old_tcr = new_tcr = get_tcr(); in arm_set_user_tbi()1759 if (old_tcr != new_tcr) { in arm_set_user_tbi()