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

#ifndef _LINUX_TYPES_H_
#define _LINUX_TYPES_H_
#include <mini-os/types.h>
typedef uint64_t __u64;
#endif /* _LINUX_TYPES_H_ */