Constant EFLAGS_WRITE_ALL 

pub const EFLAGS_WRITE_ALL: u32 = 12580864;