pub const arm64_sysreg_ARM64_SYSREG_DBGDTRTX_EL0: arm64_sysreg = 38952;