K 10 svn:author V 7 rwatson K 8 svn:date V 27 2002-12-09T22:48:21.000000Z K 7 svn:log V 77 Count ubsec as done: the vtophys() is only used for debugging printf output. END