#ifndef __ltq_gic_timer_h__
#define __ltq_gic_timer_h__

/**
 * enhanced avm-features needed by profiler
 */

int gic_timer_get_irq(unsigned int *irq_nr);

#endif/*--- #ifndef __ltq_gic_timer_h__ ---*/