xref: /seL4-refos-master/libs/libmuslc/src/time/difftime.c

#include <time.h>

double difftime(time_t t1, time_t t0)
{
	return t1-t0;
}