armv7var.h revision 1.1 
1extern struct bus_space armv7_bs_tag;
2extern struct bus_space armv7_a4x_bs_tag;
3
4void armv7_intr_bootstrap(vaddr_t);
5