K 10 svn:author V 3 jhb K 8 svn:date V 27 2005-10-24T20:31:04.000000Z K 7 svn:log V 124 - Various small whitespace and style nits. - Use PCPU_GET(cpumask) in preference to 1 << PCPU_GET(cpuid) in a few places. END