1 2 3 4
extern struct bus_space armv7_bs_tag; extern struct bus_space armv7_a4x_bs_tag; void armv7_intr_bootstrap(vaddr_t);