fetchSDW 3201 src/dps8/dps8_sys.c sdw0_s *s = fetchSDW(segno); fetchSDW 4614 src/dps8/dps8_sys.c sdw0_s *s = fetchSDW ((word15) segno);