Constant bad64_sys::SystemReg_REG_TRCCIDCVR0[][src]

pub const SystemReg_REG_TRCCIDCVR0: SystemReg = 35200;