1 #pragma once
2 #include "mm.h"
3 
4 extern void mmio_buddy_init();
5 extern void mmio_create();
6 extern int mmio_release(int vaddr, int length);
7 void mmio_init();
8