Searched defs:old_tcr (Results 1 – 1 of 1) sorted by relevance
1763 uint64_t old_tcr, new_tcr; in arm_set_kernel_tbi() local1784 uint64_t old_tcr, new_tcr; in arm_set_user_tbi() local