Symbol: TCR_IPS_SHIFT
sys/arm64/include/armreg.h
2833
#define TCR_IPS_32BIT (UL(0) << TCR_IPS_SHIFT)
sys/arm64/include/armreg.h
2834
#define TCR_IPS_36BIT (UL(1) << TCR_IPS_SHIFT)
sys/arm64/include/armreg.h
2835
#define TCR_IPS_40BIT (UL(2) << TCR_IPS_SHIFT)
sys/arm64/include/armreg.h
2836
#define TCR_IPS_42BIT (UL(3) << TCR_IPS_SHIFT)
sys/arm64/include/armreg.h
2837
#define TCR_IPS_44BIT (UL(4) << TCR_IPS_SHIFT)
sys/arm64/include/armreg.h
2838
#define TCR_IPS_48BIT (UL(5) << TCR_IPS_SHIFT)