msr-tools - amd64

cpuid.c

Gimple

./cpuid.c.004t.gimple

GKD

./cpuid.o.gkd

OBJ

obj: ./cpuid.o

includes

cpuid.c

../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/stdint.h ../headers//usr/include/unistd.h ../headers//usr/include/ctype.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h ../headers//usr/include/stdlib.h ../headers//usr/include/fcntl.h ../headers//usr/include/string.h

rdmsr.c

Gimple

./rdmsr.c.004t.gimple

GKD

./rdmsr.o.gkd

OBJ

obj: ./rdmsr.o

includes

rdmsr.c

../headers//usr/include/stdlib.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/getopt.h ../headers//usr/include/stdint.h ../headers//usr/include/x86_64-linux-gnu/bits/dirent.h ../headers//usr/include/fcntl.h ../headers//usr/include/unistd.h ../headers//usr/include/ctype.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h ../headers//usr/include/dirent.h

wrmsr.c

Gimple

./wrmsr.c.004t.gimple

GKD

./wrmsr.o.gkd

OBJ

obj: ./wrmsr.o

includes

wrmsr.c

../headers//usr/include/stdlib.h ../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h ../headers//usr/include/x86_64-linux-gnu/bits/types.h ../headers//usr/include/stdio.h ../headers//usr/include/libio.h ../headers//usr/include/getopt.h ../headers//usr/include/stdint.h ../headers//usr/include/x86_64-linux-gnu/bits/dirent.h ../headers//usr/include/fcntl.h ../headers//usr/include/unistd.h ../headers//usr/include/ctype.h ../headers//usr/include/x86_64-linux-gnu/bits/errno.h ../headers//usr/include/dirent.h