memtype_free_io
extern void memtype_free_io(resource_size_t start, resource_size_t end);
memtype_free_io(base, base + size);
memtype_free_io(start, start + size);