Change Details

Having xen_intr_handle_upcall() return an int makes it match the general interrupt filter function. This is ignored by x86, but valuable to other architectures.

Having xen_intr_handle_upcall() return an int makes it match the general interrupt filter function. This is ignored by x86, but valuable to other architectures. Also disable the call to lapic_eoi() on !x86.

Having xen_intr_handle_upcall() return an int makes it match the general interrupt filter function. This is ignored by x86, but valuable to other architectures. Also disable the call to lapic_eoi() on !x86.