00001 00044 #ifndef BENCHMARK_CONTEXT_SWITCH_H 00045 #define BENCHMARK_CONTEXT_SWITCH_H 00046 00047 void context_switch(void); 00048 00049 #endif /* BENCHMARK_CONTEXT_SWITCH_H */