2c2
< * Copyright (c) 2010 ARM Limited
---
> * Copyright (c) 2010-2012 ARM Limited
210a211,212
> void drainResume();
>