xen_init_vga
xen_init_vga(info, xen_start_info->console.dom0.info_size,
xen_init_vga(&op.u.dom0_console,
void __init xen_init_vga(const struct dom0_vga_console_info *, size_t size,