Constant NON_PAGED_DEBUG_SIGNATURE 

pub const NON_PAGED_DEBUG_SIGNATURE: u32 = 18766;