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 */