| #ifndef BCM63XX_TIMER_H_ | |
| #define BCM63XX_TIMER_H_ | |
| int bcm63xx_timer_register(int id, void (*callback)(void *data), void *data); | |
| void bcm63xx_timer_unregister(int id); | |
| int bcm63xx_timer_set(int id, int monotonic, unsigned int countdown_us); | |
| int bcm63xx_timer_enable(int id); | |
| int bcm63xx_timer_disable(int id); | |
| unsigned int bcm63xx_timer_countdown(unsigned int countdown_us); | |
| #endif /* !BCM63XX_TIMER_H_ */ |