1/* 2 * Copyright 2018, NICTA 3 * 4 * This software may be distributed and modified according to the terms of 5 * the GNU General Public License version 2. Note that NO WARRANTY is provided. 6 * See "LICENSE_GPLv2.txt" for details. 7 * 8 * @TAG(NICTA_GPL) 9 */ 10 11#ifndef _ABSTRACT_H 12#define _ABSTRACT_H 13 14#include <linux_hdrs.h> /* In cogent/plat/linux/ */ 15#include <abstract-defns.h> /* In cogent/plat/linux/ */ 16 17/* The global state */ 18struct _State { 19 void *priv; 20}; 21 22typedef struct _State SysState; 23 24/* Types in the Linux Kernel */ 25typedef struct u64_stats_sync U64StatsSyncAbstractType; 26typedef struct net NetAbstractType; 27typedef struct net_device NetDeviceAbstractType; 28 29#define likely(x) __builtin_expect(!!(x), 1) 30#define unlikely(x) __builtin_expect(!!(x), 0) 31 32#endif /* _ABSTRACT_H */ 33