file_findfile
if (file_findfile(NULL, NULL) != NULL) {
if (file_findfile(NULL, NULL) == NULL)
if ((fp = file_findfile(NULL, NULL)) == NULL) {
struct preloaded_file *file_findfile(char *name, char *type);
kfp = file_findfile(NULL, NULL);
kfp = file_findfile(NULL, NULL);
if (file_findfile(NULL, NULL) == NULL) {
fp = file_findfile(filename, NULL);
for (fp = file_findfile(NULL, NULL); fp != NULL; fp = fp->f_next) {
for (xp = file_findfile(NULL, NULL); xp != NULL; xp = xp->f_next) {
kfp = file_findfile(NULL, "elf kernel");
kfp = file_findfile(NULL, "elf64 kernel");
for (fp = file_findfile(NULL, NULL); fp != NULL; fp = fp->f_next) {
for (xp = file_findfile(NULL, NULL); xp != NULL; xp = xp->f_next) {
kfp = file_findfile(NULL, "elf kernel");
kfp = file_findfile(NULL, "elf32 kernel");
for (fp = file_findfile(NULL, NULL); fp != NULL; fp = fp->f_next) {
for (xp = file_findfile(NULL, NULL); xp != NULL; xp = xp->f_next) {
kfp = file_findfile(NULL, "elf kernel");
kfp = file_findfile(NULL, "elf64 kernel");