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