Searched refs:pic32_getcmdline (Results 1 – 1 of 1) sorted by relevance
73 static char * __init pic32_getcmdline(void) in pic32_getcmdline() function136 char *arch_cmdline = pic32_getcmdline(); in fw_init_early_console()