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/