31a32
> #include "systemc/core/scheduler.hh"
33a35,41
> namespace sc_gem5
> {
>
> uint64_t getChangeStamp() { return scheduler.changeStamp(); }
>
> } // namespace sc_gem5
>