On 2021-02-16 09:41, Arnd Bergmann wrote:

On Mon, Feb 15, 2021 at 1:17 PM Hector Martin [off-list ref] wrote:

quoted

+
+      The 2nd cell contains the interrupt number.
+        - HW IRQs: interrupt number
+        - FIQs:
+          - 0: physical HV timer
+          - 1: virtual HV timer
+          - 2: physical guest timer
+          - 3: virtual guest timer

I wonder if you could just model the FIQ as a single shared level 
interrupt
(which is essentially what it is), and have every driver that uses it 
do a
request_irq() on the same IRQ number.

And every driver would simply fail, because we don't allow sharing of
per-CPU interrupts.

         M.
-- 
Jazz is not dead. It just smells funny...