DEBUG_KERNEL_TRACE_LOG

Constant DEBUG_KERNEL_TRACE_LOG 

pub const DEBUG_KERNEL_TRACE_LOG: u32 = 1028u32;