GDT_CACHE_DEVICENO
gdt_enc16(gccb->gc_cmd + GDT_CMD_UNION + GDT_CACHE_DEVICENO,
GDT_CACHE_DEVICENO, (u_int16_t)arg1);