linux/include/linux/cookie.h

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

#include <linux/atomic.h>
#include <linux/percpu.h>
#include <asm/local.h>

struct pcpu_gen_cookie { … } __aligned(…);

struct gen_cookie { … };

#define COOKIE_LOCAL_BATCH …

#define DEFINE_COOKIE(name) …

static __always_inline u64 gen_cookie_next(struct gen_cookie *gc)
{ … }

#endif /* __LINUX_COOKIE_H */