Home
last modified time | relevance | path

Searched refs:timer_set (Results 1 – 12 of 12) sorted by relevance

/linux-4.4.14/drivers/watchdog/
Dintel_scu_watchdog.c69 static int timer_set = DEFAULT_TIME; variable
70 module_param(timer_set, int, 0);
71 MODULE_PARM_DESC(timer_set,
115 (new_margin > MAX_TIME - timer_set)) { in check_timer_margin()
117 new_margin, MIN_TIME_CYCLE, MAX_TIME - timer_set); in check_timer_margin()
216 watchdog_device.timer_set = t; in intel_scu_set_heartbeat()
220 (watchdog_device.timer_set - timer_margin) in intel_scu_set_heartbeat()
226 watchdog_device.timer_set); in intel_scu_set_heartbeat()
358 intel_scu_set_heartbeat(watchdog_device.timer_set); in intel_scu_write()
452 if ((timer_set < MIN_TIME_CYCLE) || in intel_scu_watchdog_init()
[all …]
Dbcm47xx_wdt.c70 wdt->timer_set(wdt, 0); in bcm47xx_wdt_hard_stop()
136 wdt->timer_set(wdt, 0); in bcm47xx_wdt_soft_stop()
178 wdt->timer_set(wdt, 1); in bcm47xx_wdt_restart()
Dintel_scu_watchdog.h49 u32 timer_set; member
/linux-4.4.14/include/linux/
Dbcm47xx_wdt.h11 u32 (*timer_set)(struct bcm47xx_wdt *, u32); member
Dposix-timers.h109 int (*timer_set) (struct k_itimer * timr, int flags, member
/linux-4.4.14/kernel/time/
Dposix-timers.c295 .timer_set = common_timer_set, in init_posix_timers()
305 .timer_set = common_timer_set, in init_posix_timers()
327 .timer_set = common_timer_set, in init_posix_timers()
337 .timer_set = common_timer_set, in init_posix_timers()
907 if (WARN_ON_ONCE(!kc || !kc->timer_set)) in SYSCALL_DEFINE4()
910 error = kc->timer_set(timr, flags, &new_spec, rtn); in SYSCALL_DEFINE4()
Dposix-clock.c443 .timer_set = pc_timer_settime,
Dalarmtimer.c827 .timer_set = alarm_timer_set, in alarmtimer_init()
Dposix-cpu-timers.c1493 .timer_set = posix_cpu_timer_set,
/linux-4.4.14/drivers/ssb/
Dembedded.c44 wdt.timer_set = ssb_chipco_watchdog_timer_set_wdt; in ssb_watchdog_register()
49 wdt.timer_set = ssb_extif_watchdog_timer_set_wdt; in ssb_watchdog_register()
/linux-4.4.14/drivers/bcma/
Ddriver_chipcommon.c100 wdt.timer_set = bcma_chipco_watchdog_timer_set_wdt; in bcma_chipco_watchdog_register()
/linux-4.4.14/drivers/char/
Dmmtimer.c780 .timer_set = sgi_timer_set,