Renames ridiculous sys_getcpuid call (XCC)
[akaros.git] / kern / include / ros / time.h
2011-11-03 Barret RhodenCleaned up the 'timer interfaces'