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

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