#pragma once

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

uintptr_t vpm_map(uintptr_t cr3, bool kernel, uintptr_t virt, uintptr_t phys, size_t len_bytes);
void vpm_unmap(uintptr_t cr3, uintptr_t virt, size_t len_bytes);