bad64_sys

Constant SystemReg_REG_TCO

Source
pub const SystemReg_REG_TCO: SystemReg = 55831;