Home
last modified time | relevance | path

Searched refs:TCR_EL1_IPS_48_BIT_VAL (Results 1 – 2 of 2) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dguest_walk.c197 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()
/xen-4.10.0-shim-comet/xen/include/asm-arm/
A Dprocessor.h228 #define TCR_EL1_IPS_48_BIT_VAL (48) macro

Completed in 7 milliseconds