linux/include/linux/irq_work.h

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _LINUX_IRQ_WORK_H
#define _LINUX_IRQ_WORK_H

#include <linux/smp_types.h>
#include <linux/rcuwait.h>

/*
 * An entry can be in one of four states:
 *
 * free	     NULL, 0 -> {claimed}       : free to be used
 * claimed   NULL, 3 -> {pending}       : claimed to be enqueued
 * pending   next, 3 -> {busy}          : queued, pending callback
 * busy      NULL, 2 -> {free, claimed} : callback in progress, can be claimed
 */

struct irq_work {};

#define __IRQ_WORK_INIT(_func, _flags)

#define IRQ_WORK_INIT(_func)
#define IRQ_WORK_INIT_LAZY(_func)
#define IRQ_WORK_INIT_HARD(_func)

#define DEFINE_IRQ_WORK(name, _f)

static inline
void init_irq_work(struct irq_work *work, void (*func)(struct irq_work *))
{}

static inline bool irq_work_is_pending(struct irq_work *work)
{}

static inline bool irq_work_is_busy(struct irq_work *work)
{}

static inline bool irq_work_is_hard(struct irq_work *work)
{}

bool irq_work_queue(struct irq_work *work);
bool irq_work_queue_on(struct irq_work *work, int cpu);

void irq_work_tick(void);
void irq_work_sync(struct irq_work *work);

#ifdef CONFIG_IRQ_WORK
#include <asm/irq_work.h>

void irq_work_run(void);
bool irq_work_needs_cpu(void);
void irq_work_single(void *arg);

void arch_irq_work_raise(void);

#else
static inline bool irq_work_needs_cpu(void) { return false; }
static inline void irq_work_run(void) { }
static inline void irq_work_single(void *arg) { }
#endif

#endif /* _LINUX_IRQ_WORK_H */