[src/trunk]: src/sys/arch/sgimips/dev Print board identification, same as we ...

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

details:   https://anonhg.NetBSD.org/src/rev/c185c27d593f
branches:  trunk
changeset: 571173:c185c27d593f
user:      sekiya <sekiya%NetBSD.org@localhost>
date:      Fri Nov 12 23:01:01 2004 +0000

description:
Print board identification, same as we do on the IP2x machines.

diffstat:

 sys/arch/sgimips/dev/pic.c |  26 ++++++++++++++++++++++++--
 1 files changed, 24 insertions(+), 2 deletions(-)

diffs (47 lines):

diff -r d9b3aa0451fc -r c185c27d593f sys/arch/sgimips/dev/pic.c
--- a/sys/arch/sgimips/dev/pic.c        Fri Nov 12 21:48:58 2004 +0000
+++ b/sys/arch/sgimips/dev/pic.c        Fri Nov 12 23:01:01 2004 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pic.c,v 1.8 2004/06/13 18:28:35 rumble Exp $    */
+/*     $NetBSD: pic.c,v 1.9 2004/11/12 23:01:01 sekiya Exp $    */
 
 /*
  * Copyright (c) 2002 Steve Rumble
@@ -28,7 +28,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pic.c,v 1.8 2004/06/13 18:28:35 rumble Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pic.c,v 1.9 2004/11/12 23:01:01 sekiya Exp $");
 
 #include <sys/param.h>
 #include <sys/device.h>
@@ -118,6 +118,28 @@
        printf(": dblk (0x%x), iblk (0x%x)\n", reg & PIC_MODE_DBSIZ,
               reg & PIC_MODE_IBSIZ);
 
+       /* display the machine type, board revision */
+       printf("pic0: ");
+
+       switch (mach_subtype) {
+               case MACH_SGI_IP12_4D_3X:
+                       printf("Personal Iris 4D/3x");
+                       break;
+               case MACH_SGI_IP12_VIP12:
+                       printf("VME IP12");
+                       break;
+               case MACH_SGI_IP12_HP1:
+                       printf("Indigo R3000");
+                       break;
+               case MACH_SGI_IP12_HPLC:
+                       printf("Hollywood Light");
+                       break;
+               default:
+                       printf("unknown machine");
+                       break;
+       }
+       printf(", board revision %x\n", mach_boardrev);
+
        printf("pic0: ");
 
        if (reg & PIC_MODE_NOCACHE)