DEBUG_KERNEL_LOCAL

Constant DEBUG_KERNEL_LOCAL 

pub const DEBUG_KERNEL_LOCAL: u32 = 1u32;