/*
|
* Copyright (c) 2015-2016, Linaro Limited
|
*
|
* This software is licensed under the terms of the GNU General Public
|
* License version 2, as published by the Free Software Foundation, and
|
* may be copied, distributed, and modified under those terms.
|
*
|
* This program is distributed in the hope that it will be useful,
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
* GNU General Public License for more details.
|
*
|
*/
|
#ifndef TEE_TYPES_H
|
#define TEE_TYPES_H
|
|
#include <linux/types.h>
|
|
#ifndef u64_to_user_ptr
|
#define u64_to_user_ptr(x) ( \
|
{ \
|
typecheck(u64, x); \
|
(void __user *)(uintptr_t)x; \
|
} \
|
)
|
#endif
|
#endif /*TEE_TYPES_H*/
|
