extern struct bus_space armv7_bs_tag;
extern struct bus_space armv7_a4x_bs_tag;

void armv7_intr_bootstrap(vaddr_t);