/*
 * SPDX-License-Identifier: BSD-2-Clause
 *
 * Copyright (c) 2010 Isilon Systems, Inc.
 * Copyright (c) 2010 iX Systems, Inc.
 * Copyright (c) 2010 Panasas, Inc.
 * Copyright (c) 2013-2016 Mellanox Technologies, Ltd.
 * Copyright (c) 2015 François Tigeot
 * All rights reserved.
 */

#ifndef _LINUXKPI_LINUX_COMPILER_ATTRIBUTES_H_
#define _LINUXKPI_LINUX_COMPILER_ATTRIBUTES_H_

#include <sys/cdefs.h>

#define __attribute_const__             __attribute__((__const__))

#ifndef __deprecated
#define __deprecated
#endif

#define fallthrough                     /* FALLTHROUGH */ do { } while(0)

#undef  __always_inline
#define __always_inline                 inline

#define __printf(a,b)                   __printflike(a,b)

#define __malloc

#define noinline                        __noinline

#if __has_attribute(__nonstring__)
#define __nonstring                     __attribute__((__nonstring__))
#else
#define __nonstring
#endif

#define noinline_for_stack              __noinline

#define __maybe_unused                  __unused
#define __always_unused                 __unused

#define __must_check                    __result_use_check

#define __weak __weak_symbol

#endif