Fix definition of "local" IPI system register. Spotted by Kyle Evans.

ok patrick@, jsg@

diff --git a/sys/arch/arm64/dev/aplintc.c b/sys/arch/arm64/dev/aplintc.c
index 20b9f3b..24739fb 100644 (file)
--- a/sys/arch/arm64/dev/aplintc.c
+++ b/sys/arch/arm64/dev/aplintc.c
@@ -1,4 +1,4 @@
-/*     $OpenBSD: aplintc.c,v 1.10 2022/04/06 18:59:26 naddy Exp $      */
+/*     $OpenBSD: aplintc.c,v 1.11 2022/04/10 10:43:34 kettenis Exp $   */
 /*
  * Copyright (c) 2021 Mark Kettenis
  *
@@ -34,7 +34,7 @@
 #define APL_IRQ_CR_EL1         s3_4_c15_c10_4
 #define  APL_IRQ_CR_EL1_DISABLE        (3 << 0)
 
-#define APL_IPI_LOCAL_RR_EL1   s3_5_c15_c0_1
+#define APL_IPI_LOCAL_RR_EL1   s3_5_c15_c0_0
 #define APL_IPI_GLOBAL_RR_EL1  s3_5_c15_c0_1
 #define APL_IPI_SR_EL1         s3_5_c15_c1_1
 #define  APL_IPI_SR_EL1_PENDING        (1 << 0)