On 6/13/21 2:15 PM, Jason Thorpe wrote:
Since we are emulating a Clipper device topology, we need to set the
minimum PCI device ID to 1, as there is no IRQ mapping for a device
at ID 0 (see sys_dp264.c:clipper_map_irq()).
- Add a 'devfn_min' argument to typhoon_init(). Pass that argument
along to pci_register_root_bus().
- In clipper_init(), pass PCI_DEVFN(1, 0) as the minimum PCI device
ID/function.
Signed-off-by: Jason Thorpe<thor...@me.com>
---
hw/alpha/alpha_sys.h | 2 +-
hw/alpha/dp264.c | 5 +++--
hw/alpha/typhoon.c | 5 +++--
3 files changed, 7 insertions(+), 5 deletions(-)
Thanks, queued.
r~
