1 #pragma once 2 #include "mm.h" 3 4 extern void mmio_create(uint32_t size, uint64_t vm_flagsu, uint64_t* res_vaddr, uint64_t* res_length); 5 extern int mmio_release(int vaddr, int length); 6