> resolution. Do you know if the calls rt_get_time_8254() or
> rt_get_time_pentium() provid this level of resolution?
Both provide time values with approximately 1 us resolution. The init
code picks the one of these two to use as rt_get_time().
So you can just use rt_get_time().
Michael.
--- [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/
