/*
 * Copyright (c) 2014, The Linux Foundation. All rights reserved.
 * Permission to use, copy, modify, and/or distribute this software for
 * any purpose with or without fee is hereby granted, provided that the
 * above copyright notice and this permission notice appear in all copies.
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
 * OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 */

#ifndef _AOS_PVTTYPES_H
#define _AOS_PVTTYPES_H

#include <asm/types.h>
#include <stdio.h>
/*
 * Private definitions of general data types
 */

typedef void* __aos_device_t;
typedef int __aos_size_t;
typedef int __aos_iomem_t;

typedef __u8              __a_uint8_t;
typedef __s8              __a_int8_t;
typedef __u16             __a_uint16_t;
typedef __s16             __a_int16_t;
typedef __u32             __a_uint32_t;
typedef __s32             __a_int32_t;
typedef __u64             __a_uint64_t;
typedef __s64             __a_int64_t;


#define aos_printk        printf


#endif
