Bruno van Dooren wrote on Thu, 24 Jul 2003 21:16:13 +0200: > i am debugging my ps2 input device driver. for that i am using the kernel > syslog file by using dprintf. > > i wanted to print timeout values of type t_bigtime that hold SystemTime() > values. Kernel dprintf is more limited than regular printf. Doesn't do floating point at all, and doesn't do octal numbers. For 64 bit integers, use %Ld rather than %ld (32 bit integers) or %d (native integer length). - Alex