#ifndef MANGO_TYPES_H_
#define MANGO_TYPES_H_

#include <stddef.h>
#include <stdint.h>

#define CYCLES_MAX UINT64_MAX

typedef uintptr_t phys_addr_t;
typedef uintptr_t virt_addr_t;
typedef uint64_t cycles_t;
typedef uint64_t sectors_t;
typedef uint64_t off_t;

typedef unsigned int umode_t;

struct boot_module {
	phys_addr_t mod_base;
	size_t mod_size;
};

#endif