On Thu, 14 Sep 2000 [EMAIL PROTECTED] wrote:

> Would 
> rtl_dev_t get_device_id(irq);
> int assign_device_id(irq,devid);
> 
> work?

I guess so. I understand you want to keep existing API, and unfortunately we
do not have polymorfic functions.

Having assign_device(irq,devid,name) would be nice.

--
Tomek

-- [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