Searched refs:ofw_getbootinfo (Results 1 – 4 of 4) sorted by relevance
53 void ofw_getbootinfo(char **, char **);
168 ofw_getbootinfo(&boot_file, &boot_args); in initarm()
245 ofw_getbootinfo(&boot_file, &boot_args); in initarm()
517 ofw_getbootinfo(char **bp_pp, char **ba_pp) in ofw_getbootinfo() function