2 * Copyright (C) ARM Limited 2013-2014. All rights reserved.
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
14 // Driver for the gator kernel module
15 class KMod : public Driver {
20 bool claimCounter(const Counter &counter) const;
22 void setupCounter(Counter &counter);
24 int writeCounters(mxml_node_t *root) const;