Searched refs:read_tcr (Results 1 – 2 of 2) sorted by relevance
222 static inline u64 __pure read_tcr(void) in read_tcr() function233 #define vabits_actual (64 - ((read_tcr() >> 16) & 63))
84 return read_tcr() & TCR_DS; in lpa2_is_enabled()