pub const arm64_sysreg_ARM64_SYSREG_TCO: arm64_sysreg = 55831;