#pragma once

#include <kernel/Arch.h>

#if ARCH(x86_64)
	#define KERNEL_OFFSET 0xFFFFFFFF80000000
	#define USERSPACE_END 0xFFFF800000000000
#elif ARCH(i686)
	#define KERNEL_OFFSET 0xC0000000
	#define USERSPACE_END 0xC0000000
#else
	#error
#endif

#define PAGE_SIZE ((uintptr_t)4096)
#define PAGE_SIZE_SHIFT 12
#define PAGE_ADDR_MASK (~(uintptr_t)0xFFF)

namespace Kernel
{

	using vaddr_t = uintptr_t;
	using paddr_t = uint64_t;

}
