eventq.hh (12392:e0dbdf30a2a5) eventq.hh (13440:17adf0ea4d36)
1/*
2 * Copyright (c) 2000-2005 The Regents of The University of Michigan
3 * Copyright (c) 2013 Advanced Micro Devices, Inc.
4 * Copyright (c) 2013 Mark D. Hill and David A. Wood
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions are

--- 697 unchanged lines hidden (view full) ---

706 * method conditionally schedules an event that has the Scheduled
707 * flag set. It should be called by parent objects after
708 * unserializing an object.
709 *
710 * @warn Only use this method after unserializing an Event.
711 */
712 void checkpointReschedule(Event *event);
713
1/*
2 * Copyright (c) 2000-2005 The Regents of The University of Michigan
3 * Copyright (c) 2013 Advanced Micro Devices, Inc.
4 * Copyright (c) 2013 Mark D. Hill and David A. Wood
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions are

--- 697 unchanged lines hidden (view full) ---

706 * method conditionally schedules an event that has the Scheduled
707 * flag set. It should be called by parent objects after
708 * unserializing an object.
709 *
710 * @warn Only use this method after unserializing an Event.
711 */
712 void checkpointReschedule(Event *event);
713
714 virtual ~EventQueue() { }
714 virtual ~EventQueue()
715 {
716 while (!empty())
717 deschedule(getHead());
718 }
715};
716
717void dumpMainQueue();
718
719class EventManager
720{
721 protected:
722 /** A pointer to this object's event queue */

--- 118 unchanged lines hidden --- 		719};
720
721void dumpMainQueue();
722
723class EventManager
724{
725 protected:
726 /** A pointer to this object's event queue */

--- 118 unchanged lines hidden ---