Searched refs:TCR_EL1_IPS_42_BIT_VAL (Results 1 – 2 of 2) sorted by relevance
| /xen/xen/arch/arm/ | ||
| A D | guest_walk.c | 195 TCR_EL1_IPS_42_BIT_VAL, in get_ipa_output_size() |
| /xen/xen/include/asm-arm/ | ||
| A D | processor.h | 296 #define TCR_EL1_IPS_42_BIT_VAL (42) macro |
Completed in 8 milliseconds