Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

===================================================================
RCS file: /ftp/cvs/cvsroot/src/sys/arch/arm/fdt/cpu_fdt.c,v
rcsdiff: /ftp/cvs/cvsroot/src/sys/arch/arm/fdt/cpu_fdt.c,v: warning: Unknown phrases like `commitid ...;' are present.
retrieving revision 1.36.2.1
retrieving revision 1.37
diff -u -p -r1.36.2.1 -r1.37
--- src/sys/arch/arm/fdt/cpu_fdt.c	2020/12/14 14:37:48	1.36.2.1
+++ src/sys/arch/arm/fdt/cpu_fdt.c	2020/11/25 19:50:06	1.37
@@ -1,4 +1,4 @@
-/* $NetBSD: cpu_fdt.c,v 1.36.2.1 2020/12/14 14:37:48 thorpej Exp $ */
+/* $NetBSD: cpu_fdt.c,v 1.37 2020/11/25 19:50:06 skrll Exp $ */
 
 /*-
  * Copyright (c) 2017 Jared McNeill <jmcneill@invisible.ca>
@@ -30,7 +30,7 @@
 #include "psci_fdt.h"
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: cpu_fdt.c,v 1.36.2.1 2020/12/14 14:37:48 thorpej Exp $");
+__KERNEL_RCSID(0, "$NetBSD: cpu_fdt.c,v 1.37 2020/11/25 19:50:06 skrll Exp $");
 
 #include <sys/param.h>
 #include <sys/atomic.h>
@@ -270,7 +270,7 @@ arm_fdt_cpu_mpstart(void)
 		}
 
 		/* Wake up AP in case firmware has placed it in WFE state */
-		sev();
+		__asm __volatile("sev" ::: "memory");
 
 		/* Wait for AP to start */
 		for (i = 0x10000000; i > 0; i--) {