#ifndef KERNEL_TYPES_H_
#define KERNEL_TYPES_H_

#include <mango/types.h>
#include <stddef.h>
#include <stdint.h>

#define CYCLES_MAX UINT64_MAX

typedef uint64_t cycles_t;
typedef uint64_t sectors_t;

struct boot_module {
	phys_addr_t mod_base;
	size_t mod_size;
};

#endif