Helpers to determine vcoreid (XCC)
[akaros.git] / kern / include / ros / time.h
2011-11-03 Barret RhodenCleaned up the 'timer interfaces'