Alex Smith 533f3bb494 Support x86_64 in sysinfo.
Just changed all #ifdef __INTEL__ to __INTEL__ || __x86_64__, and
fixed all the printf format strings. The CPU detection code all
works the same.
2012-07-30 21:34:05 +01:00
..
2012-07-30 13:52:51 +01:00
2012-07-30 21:34:05 +01:00