path: root/extras/mini-os/include/linux/types.h

#ifndef _LINUX_TYPES_H_
#define _LINUX_TYPES_H_
#include <types.h>
typedef u64 __u64;
#endif /* _LINUX_TYPES_H_ */