1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef BCM63XX_TIMER_H_
3 #define BCM63XX_TIMER_H_
4 
5 int bcm63xx_timer_register(int id, void (*callback)(void *data), void *data);
6 void bcm63xx_timer_unregister(int id);
7 int bcm63xx_timer_set(int id, int monotonic, unsigned int countdown_us);
8 int bcm63xx_timer_enable(int id);
9 int bcm63xx_timer_disable(int id);
10 unsigned int bcm63xx_timer_countdown(unsigned int countdown_us);
11 
12 #endif /* !BCM63XX_TIMER_H_ */
13