aarch64_sys_reg

Constant CNTP_TVAL_EL0

Source 
pub const CNTP_TVAL_EL0: AArch64SysRegId;