Defining struct exec_times in litmus.h for kernel usage..