| /src/sys/arch/xen/x86/ |
| xen_ipi.c | 72 static void xen_ipi_generic(struct cpu_info *, struct intrframe *);
87 xen_ipi_generic,
155 uint32_t masks = XEN_IPI_GENERIC | XEN_IPI_HVCB | XEN_IPI_XCALL |
297 xen_ipi_generic(struct cpu_info *ci, struct intrframe *intrf) function in typeref:typename:void
343 if (0 != xen_send_ipi(ci, XEN_IPI_GENERIC)) {
344 panic("xen_send_ipi(XEN_IPI_GENERIC) failed\n");
347 xen_broadcast_ipi(XEN_IPI_GENERIC);
|
| xen_ipi.c | 72 static void xen_ipi_generic(struct cpu_info *, struct intrframe *);
87 xen_ipi_generic,
155 uint32_t masks = XEN_IPI_GENERIC | XEN_IPI_HVCB | XEN_IPI_XCALL |
297 xen_ipi_generic(struct cpu_info *ci, struct intrframe *intrf) function in typeref:typename:void
343 if (0 != xen_send_ipi(ci, XEN_IPI_GENERIC)) {
344 panic("xen_send_ipi(XEN_IPI_GENERIC) failed\n");
347 xen_broadcast_ipi(XEN_IPI_GENERIC);
|
| xen_ipi.c | 72 static void xen_ipi_generic(struct cpu_info *, struct intrframe *);
87 xen_ipi_generic,
155 uint32_t masks = XEN_IPI_GENERIC | XEN_IPI_HVCB | XEN_IPI_XCALL |
297 xen_ipi_generic(struct cpu_info *ci, struct intrframe *intrf) function in typeref:typename:void
343 if (0 != xen_send_ipi(ci, XEN_IPI_GENERIC)) {
344 panic("xen_send_ipi(XEN_IPI_GENERIC) failed\n");
347 xen_broadcast_ipi(XEN_IPI_GENERIC);
|
| xen_ipi.c | 72 static void xen_ipi_generic(struct cpu_info *, struct intrframe *);
87 xen_ipi_generic,
155 uint32_t masks = XEN_IPI_GENERIC | XEN_IPI_HVCB | XEN_IPI_XCALL |
297 xen_ipi_generic(struct cpu_info *ci, struct intrframe *intrf) function in typeref:typename:void
343 if (0 != xen_send_ipi(ci, XEN_IPI_GENERIC)) {
344 panic("xen_send_ipi(XEN_IPI_GENERIC) failed\n");
347 xen_broadcast_ipi(XEN_IPI_GENERIC);
|
