[src/trunk]: src/usr.sbin/cpuctl/arch ID_AA64PFR0_EL1.GIC=0 means that the CP...

[jmcneill <jmcneill%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/3c6281dbfc64
branches:  trunk
changeset: 958664:3c6281dbfc64
user:      jmcneill <jmcneill%NetBSD.org@localhost>
date:      Sat Jan 16 15:34:37 2021 +0000

description:
ID_AA64PFR0_EL1.GIC=0 means that the CPU interface system registers are
not implemented. This does not necessarily mean that there is no GIC in the
system, as GICv2 uses MMIO instead of system registers for the CPU
interface.

While here, add description for GIC=3, which means that the v4.1 system
register interface is supported.

diffstat:

 usr.sbin/cpuctl/arch/aarch64.c |  9 +++++----
 1 files changed, 5 insertions(+), 4 deletions(-)

diffs (30 lines):

diff -r 009c559d320e -r 3c6281dbfc64 usr.sbin/cpuctl/arch/aarch64.c
--- a/usr.sbin/cpuctl/arch/aarch64.c    Sat Jan 16 15:26:23 2021 +0000
+++ b/usr.sbin/cpuctl/arch/aarch64.c    Sat Jan 16 15:34:37 2021 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: aarch64.c,v 1.13 2021/01/04 05:35:14 ryo Exp $ */
+/*     $NetBSD: aarch64.c,v 1.14 2021/01/16 15:34:37 jmcneill Exp $    */
 
 /*
  * Copyright (c) 2018 Ryo Shimizu <ryo%nerv.org@localhost>
@@ -29,7 +29,7 @@
 #include <sys/cdefs.h>
 
 #ifndef lint
-__RCSID("$NetBSD: aarch64.c,v 1.13 2021/01/04 05:35:14 ryo Exp $");
+__RCSID("$NetBSD: aarch64.c,v 1.14 2021/01/16 15:34:37 jmcneill Exp $");
 #endif /* no lint */
 
 #include <sys/types.h>
@@ -164,8 +164,9 @@
        {
                .bitpos = 24, .bitwidth = 4, .name = "GIC",
                .info = (const char *[16]) { /* 16=4bit */
-                       [0] = "No GIC",
-                       [1] = "GICv3"
+                       [0] = "GIC CPU interface sysregs not implemented",
+                       [1] = "GIC CPU interface sysregs v3.0/4.0 supported",
+                       [3] = "GIC CPU interface sysregs v4.1 supported"
                }
        },
        { .bitwidth = 0 }       /* end of table */