rem: int console_dev_init(kernel_args *ka)
add: console_dev_init(kernel_args *ka)
context: int console_dev_init(kernel_args *ka){	if (!ka->fb.enabled) {		dprintf("con_init: mapping vid mem\n");		vm_map_physical_memory(vm_get_kernel_aspace_id(), "vid_mem", (void *)&origin, REGION_ADDR_ANY_ADDRESS,			SCREEN_END - SCREEN_START, LOCK_RW|LOCK_KERNEL, SCREEN_START);		dprintf("con_init: mapped vid mem to virtual address 0x%x\n", origin);		pos = origin;		/* XXX - this is a problem for having the console dynamically linked.		 *       When dynamically linked the init_hardware and init_driver		 *       routines don't take a kernel_args parameter so we don't have		 *       access to this information. We probably need to find a		 *       better way of doing this.		 */		gotoxy(0, ka->cons_line);		update_cursor(x, y);		mutex_init(&console_lock, "console_lock");		keyboard_fd = sys_open("/dev/keyboard", 0);		if (keyboard_fd < 0)			panic("console_dev_init: error opening /dev/keyboard\n");		/* As this is statically linked into the kernel we need to actually		 * publish our dev entry point.		 */		devfs_publish_device("console", NULL, &console_hooks);	}	return 0;}