GDT_IOC_HDR_SZ
gdt_enc32(gccb->gc_scratch + GDT_IOC_LIST_OFFSET, GDT_IOC_HDR_SZ);
GDT_IOC_HDR_SZ + GDT_MAXBUS * GDT_RAWIOC_SZ)) {
id = gccb->gc_scratch[GDT_IOC_HDR_SZ +