Constant DN_BOOT_LOG_PROB 

pub const DN_BOOT_LOG_PROB: DWORD = 0x80000000;