#ifndef __PANDA_LISTENER_HPP__
#define __PANDA_LISTENER_HPP__

namespace fail {

/**
 * Global internal handler for (Pandaboard) TimerListeners.
 */
void onTimerTrigger(void *thisPtr);

} // end-of-namespace: fail

#endif // __PANDA_LISTENER_HPP__
