040000 tree af3ea3c88b41e5d3f449f8b9dc0bc2cec178ddad	os_gettimeofday
040000 tree 2c7a87451e0a3d4066316d8aa05e8f1ea3aed052	os_settimeofday
040000 tree e99b87773d78ebd0791b6f331a7ac12761bb2574	os_time
040000 tree dfea55f3d36b2939e58f2b1c1c02561a0aadb224	os_time_delay
040000 tree 38d342a133af1f507f5ef01b0e4ca91f8c22608e	os_time_get
040000 tree 4912b22ac80c67ba22d50f0376fc4d338144abef	os_time_tick