path: root/kernel/include/mm/vmm.h

#ifndef VMM_H
#define VMM_H

#include <stdint.h>



#endif