Constant linux_raw_sys::bootparam::EDD_INFO_WRITE_VERIFY

pub const EDD_INFO_WRITE_VERIFY: u32 = 8;