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/

Reply via email to