#ifndef _VMM_H
#define _VMM_H
#include "types.h"

#define CANONICAL_MASK_KERNEL 0xFFFF800000000000
#define CANONICAL_MASK_USER 0x00007FFFFFFFFFF000

int vmm_alloc(void** vaddr, uint64_t count, uint64_t flags);
#endif