/*
 * drivers/video/sunxi/disp2/hdmi2/hdmi_boot.h
 *
 * Copyright (c) 2007-2019 Allwinnertech Co., Ltd.
 * Author: zhengxiaobin <zhengxiaobin@allwinnertech.com>
 *
 * 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	_HDMI_BOOT_H_
#define	_HDMI_BOOT_H_
#if 0
typedef unsigned char      	u8;
typedef signed char        	s8;
typedef unsigned short     	u16;
typedef signed short       	s16;
typedef unsigned int       	u32;
typedef signed int         	s32;
typedef unsigned long long 	u64;
#endif
#include <common.h>
#include <malloc.h>
#include <sys_config.h>
#include <sunxi_display2.h>
#include <linux/list.h>
#include <linux/compat.h>
#include "../disp/disp_sys_intf.h"

/*
#define pr_info pr_msg
#define pr_err pr_msg
#define pr_warn pr_msg
#define BIT(x)			(1 << (x))
*/
#endif
