pub const FAN_MARK_FLUSH: u32 = 0x0000_0080; // 128u32