[timer] Formalise the timer API
[people/asdlkf/gpxe.git] / src / arch / i386 / core / timer2.c
2008-10-12 Michael Brown[timer] Formalise the timer API