2c2
< * Copyright (c) 2012-2014 ARM Limited
---
> * Copyright (c) 2012-2014, 2017 ARM Limited
197a198,200
> // Deschedule any power gating event (if any)
> deschedulePowerGatingEvent();
>
243c246
< for (ThreadID tid = 0; tid < numThreads; tid++)
---
> for (ThreadID tid = 0; tid < numThreads; tid++){
244a248
> }
246a251,253
>
> // Reschedule any power gating event (if any)
> schedulePowerGatingEvent();