sync_val         1126 dev/ic/gdt_common.c 	int sync_val = 0;
sync_val         1200 dev/ic/gdt_common.c 	sync_val = gdt_sync_event(gdt, ctx.service, ctx.istatus, xs);
sync_val         1206 dev/ic/gdt_common.c 	switch (sync_val) {