aarch64_sys_reg

Constant HAFGRTR_EL2

Source 
pub const HAFGRTR_EL2: AArch64SysRegId;