| /** |
| * Copyright (C) ARM Limited 2013. All rights reserved. |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 2 as |
| * published by the Free Software Foundation. |
| */ |
| |
| #ifndef KMOD_H |
| #define KMOD_H |
| |
| #include "Driver.h" |
| |
| // Driver for the gator kernel module |
| class KMod : public Driver { |
| public: |
| KMod() {} |
| ~KMod() {} |
| |
| bool claimCounter(const Counter &counter) const; |
| void resetCounters(); |
| void setupCounter(Counter &counter); |
| |
| void writeCounters(mxml_node_t *root) const; |
| }; |
| |
| #endif // KMOD_H |
