/*
|
* SPDX-License-Identifier: GPL-2.0
|
*
|
* Copyright (C) 2005 Philippe Gerum <rpm@xenomai.org>
|
*/
|
|
#ifndef _COBALT_ARM64_ASM_WRAPPERS_H
|
#define _COBALT_ARM64_ASM_WRAPPERS_H
|
|
#include <asm-generic/xenomai/wrappers.h> /* Read the generic portion. */
|
|
#define __put_user_inatomic __put_user
|
#define __get_user_inatomic __get_user
|
|
#endif /* _COBALT_ARM64_ASM_WRAPPERS_H */
|
