Lines Matching full:vmlinux
68 char * vmlinux;
89 { "vmlinux", 'k', POPT_ARG_STRING, &vmlinux, 0, "vmlinux kernel image", "file", },
90 { "no-vmlinux", 0, POPT_ARG_NONE, &no_vmlinux, 0, "vmlinux kernel image file not available", NULL, },
417 if (!vmlinux || !strcmp("", vmlinux)) {
418 fprintf(stderr, "oprofiled: no vmlinux specified.\n");
423 /* canonicalise vmlinux filename. fix #637805 */
425 if (realpath(vmlinux, tmp))
426 vmlinux = tmp;