loadfile
rc = loadfile(name, marks, LOAD_KERNEL | COUNT_KERNEL);
rc = loadfile(boot_file, &marks, LOAD_KERNEL | COUNT_KERNEL);
if (!loadfile(path, marks, LOAD_KERNEL)) {
(void)loadfile(fd, opened_name, isupgrade);
int loadfile(const char *, uint64_t *, int);
if ((fd = loadfile(cmd.path, marks, LOAD_ALL)) != -1) {