systemc: Don't re-schedule a process which is already scheduled.
authorGabe Black <gabeblack@google.com>
Tue, 9 Oct 2018 06:08:27 +0000 (23:08 -0700)
committerGabe Black <gabeblack@google.com>
Tue, 16 Oct 2018 01:15:18 +0000 (01:15 +0000)
commit137b4993a4710a247d79cdc0194dfa107b080f98
tree60beae2c190cd3ce4dd12a3eb6d2bbdee4e3f83c
parentae1ecec85aa090b90c09cc126a32b8dfa810c94d
systemc: Don't re-schedule a process which is already scheduled.

Change-Id: I8e12713c49aad03d0bfb779883adcbfa8fd4b42e
Reviewed-on: https://gem5-review.googlesource.com/c/13334
Reviewed-by: Gabe Black <gabeblack@google.com>
Maintainer: Gabe Black <gabeblack@google.com>
src/systemc/core/process.cc
src/systemc/core/process.hh
src/systemc/core/scheduler.cc