bad64_sys

Constant SystemReg_REG_TRCCIDCVR4

Source
pub const SystemReg_REG_TRCCIDCVR4: SystemReg = 35264;