drivers/gpu/arm/mali400/r4p0_rel0/linux/mali_kernel_linux.h

   1 /*
   2  * Copyright (C) 2010-2012 ARM Limited. All rights reserved.
   3  *
   4  * This program is free software and is provided to you under the terms of the GNU General Public License version 2
   5  * as published by the Free Software Foundation, and any use by you of this program is subject to the terms of such GNU licence.
   6  *
   7  * A copy of the licence is included with the program, and can also be obtained from Free Software
   8  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
   9  */
  10
  11 #ifndef __MALI_KERNEL_LINUX_H__
  12 #define __MALI_KERNEL_LINUX_H__
  13
  14 #ifdef __cplusplus
  15 extern "C" {
  16 #endif
  17
  18 #include <linux/cdev.h>     /* character device definitions */
  19 #include "mali_kernel_license.h"
  20 #include "mali_osk_types.h"
  21
  22 extern struct platform_device *mali_platform_device;
  23
  24 #if MALI_LICENSE_IS_GPL
  25 /* Defined in mali_osk_irq.h */
  26 extern struct workqueue_struct * mali_wq_normal;
  27 #endif
  28
  29 #ifdef __cplusplus
  30 }
  31 #endif
  32
  33 #endif /* __MALI_KERNEL_LINUX_H__ */