ref: dcdb2bfb9ab915b9f18c36dc951ca421d97496a2 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)