icp_ops->cause_ipi(cpu);
 }
 
+static int pseries_cause_nmi_ipi(int cpu)
+{
+       int hwcpu;
+
+       if (cpu == NMI_IPI_ALL_OTHERS) {
+               hwcpu = H_SIGNAL_SYS_RESET_ALL_OTHERS;
+       } else {
+               if (cpu < 0) {
+                       WARN_ONCE(true, "incorrect cpu parameter %d", cpu);
+                       return 0;
+               }
+
+               hwcpu = get_hard_smp_processor_id(cpu);
+       }
+
+       if (plapr_signal_sys_reset(hwcpu) == H_SUCCESS)
+               return 1;
+
+       return 0;
+}
+
 static __init void pSeries_smp_probe(void)
 {
        xics_smp_probe();
 static struct smp_ops_t pseries_smp_ops = {
        .message_pass   = NULL, /* Use smp_muxed_ipi_message_pass */
        .cause_ipi      = NULL, /* Filled at runtime by pSeries_smp_probe() */
-       .cause_nmi_ipi  = NULL,
+       .cause_nmi_ipi  = pseries_cause_nmi_ipi,
        .probe          = pSeries_smp_probe,
        .kick_cpu       = smp_pSeries_kick_cpu,
        .setup_cpu      = smp_setup_cpu,