Searched refs:xen_ipi_halt (Results 1 – 1 of 1) sorted by relevance
68 static void xen_ipi_halt(struct cpu_info *, struct intrframe *);78 xen_ipi_halt,225 xen_ipi_halt(struct cpu_info *ci, struct intrframe *intrf) in xen_ipi_halt() function