GDT_GETCH_CHANNEL_NO  204 dev/ic/gdt_common.c 		gdt_enc32(gdt->sc_scratch + GDT_GETCH_CHANNEL_NO, i);
GDT_GETCH_CHANNEL_NO  359 dev/ic/gdt_common.c 			gdt_enc32(gdt->sc_scratch + GDT_GETCH_CHANNEL_NO,