pub const arm64_sysreg_ARM64_SYSREG_DBGBCR15_EL1: arm64_sysreg = 32893;