des 77a3ee6587 As far as I can tell, the correct CPU family for amd64 (which Linux calls ... x86_64) is 15, not 6. MFC after: 3 weeks		2006-06-02 13:01:25 +00:00
..
linprocfs.c	As far as I can tell, the correct CPU family for amd64 (which Linux calls	2006-06-02 13:01:25 +00:00