rem: dprintf("%p\t0x%x\t%32s\t0x%lx\t\t0x%lx\t%d\t%d\n",
add: dprintf("%p\t0x%lx\t%32s\t0x%lx\t\t0x%lx\t%d\t%d\n",
context: static int dump_region_list(int argc, char **argv){	vm_region *region;	struct hash_iterator iter;	dprintf("addr\tid\t%32s\tbase\t\tsize\tlock\twiring\n", "name");	hash_open(region_table, &iter);	while((region = hash_next(region_table, &iter)) != NULL) {		dprintf("%p\t0x%x\t%32s\t0x%lx\t\t0x%lx\t%d\t%d\n",			region, region->id, region->name, region->base, region->size, region->lock, region->wiring);	}	hash_close(region_table, &iter, false);	return 0;}