rem: dprintf("loaded kernel images:\n");
add: kprintf("loaded kernel images:\n");
context: dump_image(int argc, char **argv){	struct hash_iterator iterator;	struct elf_image_info *image;	// if the argument looks like a hex number, treat it as such	if (argc > 1) {		uint32 num = strtoul(argv[1], NULL, 0);		if (IS_KERNEL_ADDRESS(num)) {			// semi-hack			dump_image_info((struct elf_image_info *)num);		} else {			image = hash_lookup(sImagesHash, (void *)num);			if (image == NULL)				dprintf("image 0x%lx doesn't exist in the kernel!\n", num);			else				dump_image_info(image);		}		return 0;	}	dprintf("loaded kernel images:\n");	hash_open(sImagesHash, &iterator);	while ((image = hash_next(sImagesHash, &iterator)) != NULL) {		dprintf("%p (%ld) %s\n", image, image->id, image->name);	}	hash_close(sImagesHash, &iterator, false);	return 0;}