146 static void wdrtas_timer_start(void)  in wdrtas_timer_start()  argument
157 static void wdrtas_timer_stop(void)  in wdrtas_timer_stop()  argument
169 static void wdrtas_timer_keepalive(void)  in wdrtas_timer_keepalive()  argument
195 static int wdrtas_get_temperature(void)  in wdrtas_get_temperature()  argument
216 static int wdrtas_get_status(void)  in wdrtas_get_status()  argument
227 static int wdrtas_get_boot_status(void)  in wdrtas_get_boot_status()  argument
525 static int wdrtas_get_tokens(void)  in wdrtas_get_tokens()  argument
559 static void wdrtas_unregister_devs(void)  in wdrtas_unregister_devs()  argument
574 static int wdrtas_register_devs(void)  in wdrtas_register_devs()  argument
602 static int __init wdrtas_init(void)  in wdrtas_init()  argument
629 static void __exit wdrtas_exit(void)  in wdrtas_exit()  argument