#pragma once
#include "types.h"

int pagingSetup(paddr_t upperKernelAddr);

int pageMap(vaddr_t vaddr, paddr_t paddr, int flags);