1 INTERFACE [arm && pic_gic && omap4]:
5 // ------------------------------------------------------------------------
6 IMPLEMENTATION [arm && pic_gic && omap4]:
8 #include "irq_mgr_multi_chip.h"
15 typedef Irq_mgr_multi_chip<8> M;
17 M *m = new Boot_object<M>(1);
19 gic.construct(Kmem::mmio_remap(Mem_layout::Gic_cpu_phys_base),
20 Kmem::mmio_remap(Mem_layout::Gic_dist_phys_base));
21 m->add_chip(0, gic, gic->nr_irqs());
27 Pic::Status Pic::disable_all_save()
31 void Pic::restore_all(Status)
34 // ------------------------------------------------------------------------
35 IMPLEMENTATION [arm && mp && pic_gic && omap4]:
38 void Pic::init_ap(Cpu_number, bool resume)