Constant IOCTL_DISK_FORMAT_TRACKS_EX 

pub const IOCTL_DISK_FORMAT_TRACKS_EX: u32 = 507948u32;