Symbol: ID_AA64MMFR3_S2PIE_SHIFT
sys/arm64/include/armreg.h
1570
#define ID_AA64MMFR3_S2PIE_MASK (UL(0xf) << ID_AA64MMFR3_S2PIE_SHIFT)
sys/arm64/include/armreg.h
1572
#define ID_AA64MMFR3_S2PIE_NONE (UL(0x0) << ID_AA64MMFR3_S2PIE_SHIFT)
sys/arm64/include/armreg.h
1573
#define ID_AA64MMFR3_S2PIE_IMPL (UL(0x1) << ID_AA64MMFR3_S2PIE_SHIFT)