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_ */ 13