LXR linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h

   1#ifndef WORKQUEUES_H
   2#define WORKQUEUES_H
   3
   4#include <stdbool.h>
   5
   6#include "barriers.h"
   7#include "bug_on.h"
   8#include "int_typedefs.h"
   9
  10#include <linux/types.h>
  11
  12/* Stub workqueue implementation. */
  13
  14struct work_struct;
  15typedef void (*work_func_t)(struct work_struct *work);
  16void delayed_work_timer_fn(unsigned long __data);
  17
  18struct work_struct {
  19/*      atomic_long_t data; */
  20        unsigned long data;
  21
  22        struct list_head entry;
  23        work_func_t func;
  24#ifdef CONFIG_LOCKDEP
  25        struct lockdep_map lockdep_map;
  26#endif
  27};
  28
  29struct timer_list {
  30        struct hlist_node       entry;
  31        unsigned long           expires;
  32        void                    (*function)(unsigned long);
  33        unsigned long           data;
  34        u32                     flags;
  35        int                     slack;
  36};
  37
  38struct delayed_work {
  39        struct work_struct work;
  40        struct timer_list timer;
  41
  42        /* target workqueue and CPU ->timer uses to queue ->work */
  43        struct workqueue_struct *wq;
  44        int cpu;
  45};
  46
  47
  48static inline bool schedule_work(struct work_struct *work)
  49{
  50        BUG();
  51        return true;
  52}
  53
  54static inline bool schedule_work_on(int cpu, struct work_struct *work)
  55{
  56        BUG();
  57        return true;
  58}
  59
  60static inline bool queue_work(struct workqueue_struct *wq,
  61                              struct work_struct *work)
  62{
  63        BUG();
  64        return true;
  65}
  66
  67static inline bool queue_delayed_work(struct workqueue_struct *wq,
  68                                      struct delayed_work *dwork,
  69                                      unsigned long delay)
  70{
  71        BUG();
  72        return true;
  73}
  74
  75#define INIT_WORK(w, f) \
  76        do { \
  77                (w)->data = 0; \
  78                (w)->func = (f); \
  79        } while (0)
  80
  81#define INIT_DELAYED_WORK(w, f) INIT_WORK(&(w)->work, (f))
  82
  83#define __WORK_INITIALIZER(n, f) { \
  84                .data = 0, \
  85                .entry = { &(n).entry, &(n).entry }, \
  86                .func = f \
  87        }
  88
  89/* Don't bother initializing timer. */
  90#define __DELAYED_WORK_INITIALIZER(n, f, tflags) { \
  91        .work = __WORK_INITIALIZER((n).work, (f)), \
  92        }
  93
  94#define DECLARE_WORK(n, f) \
  95        struct workqueue_struct n = __WORK_INITIALIZER
  96
  97#define DECLARE_DELAYED_WORK(n, f) \
  98        struct delayed_work n = __DELAYED_WORK_INITIALIZER(n, f, 0)
  99
 100#define system_power_efficient_wq ((struct workqueue_struct *) NULL)
 101
 102#endif
 103