Searched refs:va_bits (Results 1 – 2 of 2) sorted by relevance
69 #define GET_BASE_XLAT_LEVEL(va_bits) \ argument70 ((va_bits > L0_XLAT_VA_SIZE_SHIFT) ? 0U \71 : (va_bits > L1_XLAT_VA_SIZE_SHIFT) ? 1U \72 : (va_bits > L2_XLAT_VA_SIZE_SHIFT) ? 2U : 3U)
932 uint64_t va_bits = CONFIG_ARM64_VA_BITS; in get_tcr() local948 tcr |= TCR_T0SZ(va_bits); in get_tcr()
