extern struct bus_space armv7_bs_tag;

void armv7_intr_bootstrap(vaddr_t);