Symbol: IPI_WDOG
sys/arch/mips/cavium/octeon_cpunode.c
434
cpu_send_ipi(NULL, IPI_WDOG);
sys/arch/mips/cavium/octeon_intr.c
195
[IPI_WDOG] = IPL_HIGH,
sys/arch/mips/cavium/octeon_intr.c
559
if (ipi_mask & __BIT(IPI_WDOG)) {
sys/arch/mips/cavium/octeon_intr.c
561
atomic_and_64(&ci->ci_request_ipis, ~__BIT(IPI_WDOG));
sys/arch/mips/cavium/octeon_intr.c
562
ipi_mask &= ~__BIT(IPI_WDOG);
sys/arch/mips/cavium/octeon_intr.c
563
ci->ci_evcnt_per_ipi[IPI_WDOG].ev_count++;
sys/arch/mips/mips/ipifuncs.c
64
[IPI_WDOG] = "ipi wdog",