t = gethrtime();
rtl_printf("%d%09d", t / 1000000000, t % 1000000000);

Michael.

Dresner, Norman A. ([EMAIL PROTECTED]) wrote:
> That answer isn't totally true.
> 
> I have a driver that's linked with the gcc-library for 64-bit math that's
> been running successfully for several months. In my RedHat 5.2 distribution
> with the 2.0.36 kernel, that library is found at
>       /usr/lib/gcc-lib/i386-redhat-linux/ecgs-2..0.29/libgcc.a
> and I am using 64-bit division in the (real-time) driver many times a
> second.
> 
> But I believe that the statement that printk() doesn't support long-long
> quantities is still true.
> 
>       Norm Dresner
>       Fellow Systems Engineer
>       Radar Systems Engineering Department
>       Electronic Systems and Sensors Segment
>       Northrop Grumman Corporation
>       MS 520
>       Box 746
>       Baltimore MD 21203
> 
> Voice:        (410) 993 - 2096        Mornings; all-day voice-mail
>       (410) 969 - 8068        Afternoons with answering machine
> FAX:  (410) 993 - 8084        On-site
>       (410) 969 - 8068        Afternoons; call first to arrange
> E-Mail:Mornings:      [EMAIL PROTECTED]
>       Afternoons:     [EMAIL PROTECTED]
> 
> > -----Original Message-----
> > From:       [EMAIL PROTECTED] [SMTP:[EMAIL PROTECTED]]
> > Sent:       Monday, July 31, 2000 7:33 AM
> > To: [EMAIL PROTECTED]
> > Cc: [EMAIL PROTECTED]
> > Subject:    Re: [rtl] rt_printk long long output
> > 
> > > My question is a silly one : how to do rt_printk() of gethrtime() return
> > > value. gethrtime() returns 64-bit signed integer (a long long int).
> > > I already tried %q (quad int), %L, and %ll but they won't work.
> > 
> > No more than two months ago we discussed this topic
> > on the list. Check archive.
> > 
> > The answer is: no longlong capability of printk() because
> > it would require 64 bit division. However your processor has
> > 32 bit arithmetic only and no math library linked with the kernel.
> > 
> > Print the time in hex:
> > XXXXprint("%.8x%.8x", (long)((time>>32)&0xffffffff),
> > (long)(time&0xffffffff));
> > 
> > Gabor
> > -- [rtl] ---
> > To unsubscribe:
> > echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
> > echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
> > ---
> > For more information on Real-Time Linux see:
> > http://www.rtlinux.org/rtlinux/
> -- [rtl] ---
> To unsubscribe:
> echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
> echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
> ---
> For more information on Real-Time Linux see:
> http://www.rtlinux.org/rtlinux/
-- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
---
For more information on Real-Time Linux see:
http://www.rtlinux.org/rtlinux/

Reply via email to