os_store_ef_path 66 uspace/app/sbi/src/main.c os_store_ef_path(*argv); os_store_ef_path 45 uspace/app/sbi/src/os/os.h void os_store_ef_path(char *path);