ref: 23b52bbf23bcc3f7f64b4d3496993bee83f5f2eb dir: /sys/src/9/bcm64/io.h/
#include "../bcm/io.h" enum { IRQgic = 160, IRQpci = IRQgic + 20, IRQether = IRQgic + 29, }; #define PCIWINDOW 0 #define PCIWADDR(va) (PADDR(va)+PCIWINDOW)