pub const arm64_sysreg_ARM64_SYSREG_TCR_EL12: arm64_sysreg = 59650;