Added timespec_div

[GPaso]

I found this library quite useful and I used some functions, but I also needed an extra one that i couldn't find so here it is.

I needed to divide a timespec by an integer value in order to have a mean value from a sum of timespecs.

I hope it's helpful and Thanks!

G.Pasotti

[GPaso]

Sorry for the mess, i have some issues making it work for i386, do you have any suggestion to make it work without losing precision?

[solemnwarning]

Hi G.Pasotti,

Thanks for this, mostly looks good to me although I'd rename it to something like timespec_idiv() since there is already a timespec_mod() function which takes two timespec structures as operands rather than a timespec and an integer.

I haven't tested it, I think something like this might handle the rounding correctly:

unsigned long extra_nsec = rem_sec * NSEC_PER_SEC;
result.tv_nsec = (ts.tv_nsec + extra_nsec) / divisor;

I could also be completely wrong.

Daniel

[GPaso]

Your suggestion worked! Thanks!
Do you think i should add more test cases? or anything else?