pub const arm64_sysreg_ARM64_SYSREG_VSCTLR_EL2: arm64_sysreg = 57600;