Constant bad64_sys::SystemReg_REG_CNTP_TVAL_EL02[−][src]

pub const SystemReg_REG_CNTP_TVAL_EL02: SystemReg = 61200;