Constant WHEA_IN_USE_PAGE_NOTIFY_FLAG_PLATFORMDIRECTED 

pub const WHEA_IN_USE_PAGE_NOTIFY_FLAG_PLATFORMDIRECTED: u32 = 1u32;