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