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