Constant scx_consts_SCX_RESCUE_DFL_QUANTUM_US 

pub const scx_consts_SCX_RESCUE_DFL_QUANTUM_US: c_uint = 5000;