aarch64_sys_reg::gen

Constant TTBR1_EL12

Source 
pub const TTBR1_EL12: AArch64SysRegId;