/* SPDX-License-Identifier: GPL-2.0 or Linux-OpenIB */
/* Copyright (c) 2015 - 2021 Intel Corporation */
#ifndef IRDMA_OSDEP_H
#define IRDMA_OSDEP_H

#include <stdbool.h>
#include <stdio.h>
#include <string.h>
#include <stdatomic.h>
#include <util/udma_barrier.h>
#include <util/util.h>
#include <util/compiler.h>
#include <ccan/minmax.h>
#include <linux/types.h>
#include <inttypes.h>
#include <pthread.h>
#include <endian.h>
#include <infiniband/verbs.h>

static inline void db_wr32(__u32 val, __u32 *wqe_word)
{
	*wqe_word = val;
}
#endif /* IRDMA_OSDEP_H */