K 10 svn:author V 6 marcel K 8 svn:date V 27 2002-05-21T00:04:08.000000Z K 7 svn:log V 71 Include machine/ia64_cpu.h because we use ia64_mf(). Submitted by: ru END