Constant TFSR_EL2

pub const TFSR_EL2: AArch64SysRegId;