[Barrelfish-users] Registering a Specific IRQ on x86

Dominic Hung domchdh at hku.hk
Wed Jul 23 15:03:54 CEST 2014

Dear Sir/Madam,

I am writing to make a query in how to register a interrupt to a specific
IRQ#. I notice that for registering an IRQ in x86 setting, the function
errval_t inthandler_setup(interrupt_handler_fn handler, void *handler_arg,
uint32_t *ret_vector) merely allows one to register a function without
control which IRQ# the request will finally associated with.

For some specific needs, I need to register an interrupt to a LAPIC IRQ,
i.e., IRQ# >= 249. How can I do that? With an extra sys_syscall to
handle_irq_table_set? If so, can you shed me some light as to how I can get
the endpoint created when I ran the inthandler_setup earlier on?


Dominic Hung

C H Dominic Hung, B.Eng. (CE) HK
M. Phil. Student, Dept. of CS., Faculty of Engg.

Mobile: +852-9819-9360
Email: domchdh at hku.hk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20140723/12bb8ebf/attachment.html 

More information about the Barrelfish-users mailing list