1 /* 2 * 3 * (C) COPYRIGHT 2010, 2012-2014 ARM Limited. All rights reserved. 4 * 5 * This program is free software and is provided to you under the terms of the 6 * GNU General Public License version 2 as published by the Free Software 7 * Foundation, and any use by you of this program is subject to the terms 8 * of such GNU licence. 9 * 10 * A copy of the licence is included with the program, and can also be obtained 11 * from Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, 12 * Boston, MA 02110-1301, USA. 13 * 14 */ 15 16 17 18 19 20 /** 21 * @file mali_ukk_os.h 22 * Types and definitions that are common for Linux OSs for the kernel side of the 23 * User-Kernel interface. 24 */ 25 26 #ifndef _UKK_OS_H_ /* Linux version */ 27 #define _UKK_OS_H_ 28 29 #include <linux/fs.h> 30 31 /** 32 * @addtogroup uk_api User-Kernel Interface API 33 * @{ 34 */ 35 36 /** 37 * @addtogroup uk_api_kernel UKK (Kernel side) 38 * @{ 39 */ 40 41 /** 42 * Internal OS specific data structure associated with each UKK session. Part 43 * of a ukk_session object. 44 */ 45 typedef struct ukkp_session { 46 int dummy; /**< No internal OS specific data at this time */ 47 } ukkp_session; 48 49 /** @} end group uk_api_kernel */ 50 51 /** @} end group uk_api */ 52 53 #endif /* _UKK_OS_H__ */ 54