GDT_LOCALBOARD    827 dev/ic/gdt_common.c 	gdt_enc32(gdt->sc_cmd + GDT_CMD_BOARDNODE, GDT_LOCALBOARD);
GDT_LOCALBOARD   1292 dev/ic/gdt_common.c 		gdt_enc32(gdt->sc_cmd + GDT_CMD_BOARDNODE, GDT_LOCALBOARD);