Searched defs:ipi (Results 1 – 5 of 5) sorted by relevance
144 u32 ipi = ffs(mbox_val) - 1; in bcm2836_arm_irqchip_handle_irq() local158 unsigned int ipi) in bcm2836_arm_irqchip_send_ipi()
67 msg:1, sem:1, ipi:1, slv:1, member
132 unsigned char ipi; /* initial protocol id */ member
260 enum ipi_vector ipi) in xen_irq_info_ipi_setup()1134 static int bind_ipi_to_irq(unsigned int ipi, unsigned int cpu) in bind_ipi_to_irq()1411 int bind_ipi_to_irqhandler(enum ipi_vector ipi, in bind_ipi_to_irqhandler()1907 int ipi, irq, evtchn; in restore_cpu_ipis() local
56 enum ipi_vector ipi; member