K 10 svn:author V 6 marius K 8 svn:date V 27 2012-04-10T16:08:46.656587Z K 7 svn:log V 57 Fix !SMP build after r234074. Reviewed by: attilio, jhb END