From 1d18bb1a2ea1659142a030d7eb5672456df5204d Mon Sep 17 00:00:00 2001
From: patrick <patrick@openbsd.org>
Date: Mon, 9 Oct 2023 22:05:27 +0000
Subject: [PATCH] Recognize GICv4 in the MADT and configure it as arm,gic-v3.

ok kettenis@
---
 sys/arch/arm64/stand/efiboot/efiacpi.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/sys/arch/arm64/stand/efiboot/efiacpi.c b/sys/arch/arm64/stand/efiboot/efiacpi.c
index 4d200311933..889b6f430d0 100644
--- a/sys/arch/arm64/stand/efiboot/efiacpi.c
+++ b/sys/arch/arm64/stand/efiboot/efiacpi.c
@@ -1,4 +1,4 @@
-/*	$OpenBSD: efiacpi.c,v 1.15 2023/09/12 08:22:07 jmatthew Exp $	*/
+/*	$OpenBSD: efiacpi.c,v 1.16 2023/10/09 22:05:27 patrick Exp $	*/
 
 /*
  * Copyright (c) 2018 Mark Kettenis <kettenis@openbsd.org>
@@ -573,7 +573,8 @@ efi_acpi_madt(struct acpi_table_header *hdr)
 		reg[3] = htobe64(0x100);
 		break;
 	case 3:
-		/* GICv3 */
+	case 4:
+		/* GICv3 and GICv4 */
 		compat = "arm,gic-v3";
 		reg[0] = htobe64(gicd_base);
 		reg[1] = htobe64(0x10000);
-- 
2.20.1