add CLOCK_TAI (and CLOCK_SGI_CYCLE) clock ids to time.h
[musl] / crt / microblaze /
2012-09-29 Rich Felkermicroblaze port