sata_pkt_alloc
spkt = sata_pkt_alloc(spx, NULL);
spkt = sata_pkt_alloc(spx, NULL);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spkt = sata_pkt_alloc(spx, NULL);
spkt = sata_pkt_alloc(spx, SLEEP_FUNC);
spx->txlt_sata_pkt = sata_pkt_alloc(spx, callback);
static sata_pkt_t *sata_pkt_alloc(sata_pkt_txlate_t *, int (*)(caddr_t));