Searched refs:TCR_EL1_IPS_48_BIT_VAL (Results 1 – 2 of 2) sorted by relevance
197 TCR_EL1_IPS_48_BIT_VAL, in get_ipa_output_size()343 paddr_t mask = GENMASK_ULL((TCR_EL1_IPS_48_BIT_VAL - 1), output_size); in check_base_size()345 if ( (output_size < TCR_EL1_IPS_48_BIT_VAL) && (base & mask) ) in check_base_size()443 if ( (input_size > TCR_EL1_IPS_48_BIT_VAL) || in guest_walk_ld()
228 #define TCR_EL1_IPS_48_BIT_VAL (48) macro
Completed in 7 milliseconds