DEBUG_KERNEL_REPT

Constant DEBUG_KERNEL_REPT 

pub const DEBUG_KERNEL_REPT: u32 = 5u32;