linux_raw_sys::bootparam

Constant EDD_INFO_WRITE_VERIFY

Source 
pub const EDD_INFO_WRITE_VERIFY: u32 = 8;