| /* |
| * |
| * (C) COPYRIGHT 2010, 2012-2014 ARM Limited. All rights reserved. |
| * |
| * This program is free software and is provided to you under the terms of the |
| * GNU General Public License version 2 as published by the Free Software |
| * Foundation, and any use by you of this program is subject to the terms |
| * of such GNU licence. |
| * |
| * A copy of the licence is included with the program, and can also be obtained |
| * from Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, |
| * Boston, MA 02110-1301, USA. |
| * |
| */ |
| |
| |
| |
| |
| |
| /** |
| * @file mali_ukk_os.h |
| * Types and definitions that are common for Linux OSs for the kernel side of the |
| * User-Kernel interface. |
| */ |
| |
| #ifndef _UKK_OS_H_ /* Linux version */ |
| #define _UKK_OS_H_ |
| |
| #include <linux/fs.h> |
| |
| /** |
| * @addtogroup uk_api User-Kernel Interface API |
| * @{ |
| */ |
| |
| /** |
| * @addtogroup uk_api_kernel UKK (Kernel side) |
| * @{ |
| */ |
| |
| /** |
| * Internal OS specific data structure associated with each UKK session. Part |
| * of a ukk_session object. |
| */ |
| typedef struct ukkp_session { |
| int dummy; /**< No internal OS specific data at this time */ |
| } ukkp_session; |
| |
| /** @} end group uk_api_kernel */ |
| |
| /** @} end group uk_api */ |
| |
| #endif /* _UKK_OS_H__ */ |
