Constant BUGCHECK_CONTEXT_MODIFIER 

pub const BUGCHECK_CONTEXT_MODIFIER: ULONG = 0x80000000;