#ifndef KRX_DDK_LINTYPES_H
#define KRX_DDK_LINTYPES_H

#include "kdk/endian.h"

typedef uint8_t __u8;
typedef uint16_t __u16;
typedef uint32_t __u32;
typedef uint64_t __u64;
typedef int16_t __s16;
typedef le16_t __le16;
typedef le32_t __le32;
typedef le64_t __le64;

typedef le16_t __virtio16;
typedef le32_t __virtio32;
typedef le64_t __virtio64;

#endif /* KRX_DDK_LINTYPES_H */
