+ *#* Revision 1.6 2005/07/19 07:27:31 bernie
+ *#* Don't use CPU_REG_BITS from cpu.h to avoid circular header dependendy.
+ *#*
+ *#* Revision 1.5 2005/06/27 21:24:37 bernie
+ *#* ticks_t: New typedef.
+ *#*
+ *#* Revision 1.4 2005/06/14 06:15:10 bernie
+ *#* Add X86_64 support.
+ *#*