RTLinux request_irq() vs. Linux request_irq()

[Herman Bruyninckx <Herman.Bruyninckx@mech.kuleuven.ac.be>]

I notice that the RTLinux request_irq() call has only two arguments,
instead of the five arguments in the standard Linux kernel. One of the
interesting arguments that is missing is the void pointer `dev_id' that
an ISR can use to access the device specific data structure of the device
that it is servicing.

Is there any particular reason why the RTLinux API doesn't use this
five-argument call?

Is there any chance that this will change in the future?

A related remark for the documentation: it would be good to state
explicitly that RTLinux services only one ISR for each IRQ, in
contrast to standard Linux.

Herman

-- 
"I decry the current tendency to seek patents on algorithms. There are
 better ways to earn a living than to prevent other people from making
 use of one's contributions to computer science."  D.E. Knuth, TAoCP 3