K 10 svn:author V 3 joe K 8 svn:date V 27 2002-04-06T19:55:52.000000Z K 7 svn:log V 36 Replace device_t with device_ptr_t. END