bootparamproc_getfile_1
local = (char *(*)()) bootparamproc_getfile_1;
extern bp_getfile_res *bootparamproc_getfile_1();