# requests

request destroy { }

# events

event done { }

event format_table {
    fd: fd,
    size: u32,
}

event main_device {
    device: pod(uapi::c::dev_t),
}

event tranche_done {

}

event tranche_target_device {
    device: pod(uapi::c::dev_t),
}

event tranche_formats {
    indices: array(pod(u16)),
}

event tranche_flags {
    flags: u32,
}