Symbol: TCR_IPS_SHIFT
sys/arch/arm64/include/armreg.h
903
#define TCR_IPS_32BIT (0UL << TCR_IPS_SHIFT)
sys/arch/arm64/include/armreg.h
904
#define TCR_IPS_36BIT (1UL << TCR_IPS_SHIFT)
sys/arch/arm64/include/armreg.h
905
#define TCR_IPS_40BIT (2UL << TCR_IPS_SHIFT)
sys/arch/arm64/include/armreg.h
906
#define TCR_IPS_42BIT (3UL << TCR_IPS_SHIFT)
sys/arch/arm64/include/armreg.h
907
#define TCR_IPS_44BIT (4UL << TCR_IPS_SHIFT)
sys/arch/arm64/include/armreg.h
908
#define TCR_IPS_48BIT (5UL << TCR_IPS_SHIFT)