udbg_scc_init
void __init udbg_scc_init(int force_scc);
udbg_scc_init(!!strstr(boot_command_line, "sccdbg"));