device_read
void device_read(uint32_t nsid, uint64_t lba, u_int nlb,
device_read(le32toh(cmd->nsid), cmd_lba(cmd), cmd_nlb(cmd), nc);