register_device
register_device(serials, MAX_SERIALS,
register_device(keyboards, MAX_KEYBOARDS,
register_device(graphics, MAX_GRAPHICS,
register_device(keyboards, MAX_KEYBOARDS,
register_device(serials, MAX_SERIALS,
register_device(keyboards, MAX_KEYBOARDS,
register_device(keyboards, MAX_KEYBOARDS,
register_device(serials, MAX_SERIALS,
register_device(graphics, MAX_GRAPHICS,
register_device(graphics, MAX_GRAPHICS,
register_device(serials, MAX_SERIALS,
register_device(keyboards, MAX_KEYBOARDS,
register_device(graphics, MAX_GRAPHICS,
register_device(serials, MAX_SERIALS,
register_device(serials, MAX_SERIALS,
void register_device(struct consoledev *, int, struct device_path *,