Constant DEBUG_KERNEL_EXDI_DRIVER 

pub const DEBUG_KERNEL_EXDI_DRIVER: u32 = 2u32;