aarch64_sys_reg

Constant ERXADDR_EL1

Source 
pub const ERXADDR_EL1: AArch64SysRegId;