Lines Matching defs:vmlinux
461 /// a special file containing debug information for vmlinux and its
463 /// directory as "vmlinux.ctfa".
490 string vmlinux;
491 if (base_name(elf_file_path, vmlinux))
495 && dir_contains_ctf_archive(dirname, vmlinux))
499 // vmlinux.ctfa could be provided with --debug-info-dir
501 if (dir_contains_ctf_archive(*path, vmlinux))
2335 /// vmlinux binary.
2339 /// @return true iff @p entry is for a vmlinux binary.
2351 if (fname == "vmlinux")
2388 /// Find a vmlinux and its kernel modules in a given directory tree.
2393 /// where the vmlinux binary is found. This is set iff the returns
2399 /// @return true iff at least the vmlinux binary was found.
2436 /// Find a vmlinux binary in a given directory tree.
2442 /// return true iff the vmlinux binary was found
2477 /// Get the paths of the vmlinux and kernel module binaries under
2485 /// @param vmlinux_path output parameter. The path of the vmlinux
2492 /// @return true if at least the path to the vmlinux binary was found.
2534 /// Get the path of the vmlinux binary under the given directory, that
2539 /// @param vmlinux_path output parameter. The path of the vmlinux
2542 /// @return true if the path to the vmlinux binary was found.
2552 // the vmlinux binary is located under the /lib/modules
2567 /// Get the paths of the vmlinux and kernel module binaries under
2572 /// @param vmlinux_path output parameter. The path of the vmlinux
2578 /// @return true if at least the path to the vmlinux binary was found.
2591 /// It builds a @ref corpus_group made of vmlinux kernel file and
2601 /// @param vmlinux the path to the vmlinux binary.
2631 const string& vmlinux,
2661 << vmlinux << "' ...\n" << std::flush;
2663 // Read the vmlinux corpus and add it to the group.
2669 std::cerr << vmlinux
2711 /// from the vmlinux kernel binary and the linux kernel modules found
2714 /// The main corpus of the @ref corpus_group is made of the vmlinux
2718 /// kernel modules are to be found. The vmlinux can also be found
2725 /// @param vmlinux_path the path to the vmlinux binary, if that binary
2727 /// means the vmlinux binary is to be found under the @p root
2758 string vmlinux = vmlinux_path;
2770 get_binary_paths_from_kernel_dist(root, debug_info_root, vmlinux, modules);
2785 create_best_elf_based_reader(vmlinux,
2792 load_vmlinux_corpus(reader, group, vmlinux,