Constant DEBUG_FORMAT_USER_SMALL_IPT_TRACE 

pub const DEBUG_FORMAT_USER_SMALL_IPT_TRACE: u32 = 262144u32;