Searched refs:get_tcr (Results 1 – 5 of 5) sorted by relevance
300 extern uint64_t get_tcr(void);
4582 if (pt_attr->pta_tcr_value != get_tcr()) {7898 if ((pmap != kernel_pmap) && (pmap_get_pt_attr(pmap)->pta_tcr_value != get_tcr())) {
1707 old_tcr = new_tcr = get_tcr(); in arm_set_kernel_tbi()1728 old_tcr = new_tcr = get_tcr(); in arm_set_user_tbi()
1107 bool instruction_tbi = !(get_tcr() & TCR_TBID0_TBI_DATA_ONLY); in user_fault_addr_matches_pac_error_code()
377 get_tcr(void) in get_tcr() function