linux/kernel/watchdog_buddy.c

// SPDX-License-Identifier: GPL-2.0

#include <linux/cpu.h>
#include <linux/cpumask.h>
#include <linux/kernel.h>
#include <linux/nmi.h>
#include <linux/percpu-defs.h>

static cpumask_t __read_mostly watchdog_cpus;

static unsigned int watchdog_next_cpu(unsigned int cpu)
{ … }

int __init watchdog_hardlockup_probe(void)
{ … }

void watchdog_hardlockup_enable(unsigned int cpu)
{ … }

void watchdog_hardlockup_disable(unsigned int cpu)
{ … }

void watchdog_buddy_check_hardlockup(int hrtimer_interrupts)
{ … }