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