When we set up the IPI, it was given a tbdf of BUSUNKNOWN. This sets a bus type of BusISA. This then leads to the interrupt being misconfigured, and doesn't show up in #P/irqalloc. It also shows unhappy looking logging at boot.
Instead, we assign it to the 'fake' BusIPI. It now shows up in #P/irqalloc and doesn't produce unhappy logging at boot.
In another PR, we should probably change the BUSUNKNOWN macro to use some sort of BusUNKNOWN type rather than BusISA.
When we set up the IPI, it was given a tbdf of BUSUNKNOWN. This sets a bus type of BusISA. This then leads to the interrupt being misconfigured, and doesn't show up in #P/irqalloc. It also shows unhappy looking logging at boot.
Instead, we assign it to the 'fake' BusIPI. It now shows up in #P/irqalloc and doesn't produce unhappy logging at boot.
In another PR, we should probably change the BUSUNKNOWN macro to use some sort of BusUNKNOWN type rather than BusISA.
Signed-off-by: Graham MacDonald grahamamacdonald@gmail.com