ct_init
void (*ct_init)(void);
if (ct_list[cons].ct_init != NULL) {
ct_list[cons].ct_init();
[0] = { .ct_dev = &efi_console, .ct_init = NULL },
[1] = { .ct_dev = NULL, .ct_init = efi_serial_ini },
[2] = { .ct_dev = NULL, .ct_init = efi_isa_ini },
[3] = { .ct_dev = &nullconsole, .ct_init = NULL },
[4] = { .ct_dev = &spinconsole, .ct_init = NULL },
[5] = { .ct_dev = NULL, .ct_init = NULL },
[0] = { .ct_dev = &text, .ct_init = NULL },
[1] = { .ct_dev = NULL, .ct_init = comc_ini },
[2] = { .ct_dev = &nullconsole, .ct_init = NULL },
[3] = { .ct_dev = &spinconsole, .ct_init = NULL },
[4] = { .ct_dev = NULL, .ct_init = NULL },
local void ct_init OF((deflate_state *s));
ct_init(s);