//
// Created by rick on 21-02-21.
//

#ifndef NEW_KERNEL_VMM_H
#define NEW_KERNEL_VMM_H
#include <sys/types.h>

void vmm_assign_page(void *paddr, void *vaddr, size_t number_of_pages);

void vmm_unassign_page(void *vaddr, size_t number_of_pages);

#endif //NEW_KERNEL_VMM_H