This file is indexed.

/usr/share/systemtap/runtime/autoconf-trace-printk.c is in systemtap-common 1.7-1+deb7u1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
#include <linux/kernel.h>

int bar (void) {
  static char *fmt = "%s\n";
  trace_printk (fmt, "hello world");
  return 0;
}