K 10 svn:author V 6 mjacob K 8 svn:date V 27 2002-09-24T21:33:43.000000Z K 7 svn:log V 52 Code cleanup: use mpt_prt instead of device_printf. END