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