ref: 01d72e547c38c856cecae2821cd0f1aa9f57a20c
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)