#pragma once

#include "kernel/lib.h"

enum
{
    VM_R  = 2,
    VM_RW = 6,
    VM_X  = 8,
};

void kvm_init();
void kvm_map(void* va, void* pa, uint32_t size, uint32_t mode);