kernel_footprint.h
Go to the documentation of this file.
00001
00041 #ifndef BENCHMARK_KERNEL_FOOTPRINT_H
00042 #define BENCHMARK_KERNEL_FOOTPRINT_H
00043 
00044 void kernel_footprint(void);
00045
00046 #endif /* BENCHMARK_KERNEL_FOOTPRINT_H */