Searched refs:TCR_T1SZ_MASK (Results 1 – 3 of 3) sorted by relevance
17 return (read_sysreg(tcr_el1) & TCR_T1SZ_MASK) >> TCR_T1SZ_OFFSET; in get_tcr_el1_t1sz()
96 txsz = FIELD_GET(TCR_T1SZ_MASK, tcr); in compute_bottom_pac()
254 wi->txsz = FIELD_GET(TCR_T1SZ_MASK, tcr); in setup_s1_walk()