From 818062390e789831d933b060e53d4ca492606b9c Mon Sep 17 00:00:00 2001 From: jdolecek Date: Wed, 22 Nov 2000 16:41:56 +0000 Subject: [PATCH] Intel recommends to print cpu serial number as six dash-separated nibbles (XXXX-XXXX-XXXX-XXXX-XXXX-XXXX), make it so --- sys/arch/i386/i386/machdep.c | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/sys/arch/i386/i386/machdep.c b/sys/arch/i386/i386/machdep.c index 1502ca95429f..72a5089ad1a2 100644 --- a/sys/arch/i386/i386/machdep.c +++ b/sys/arch/i386/i386/machdep.c @@ -1,4 +1,4 @@ -/* $NetBSD: machdep.c,v 1.419 2000/11/19 23:38:22 jdolecek Exp $ */ +/* $NetBSD: machdep.c,v 1.420 2000/11/22 16:41:56 jdolecek Exp $ */ /*- * Copyright (c) 1996, 1997, 1998, 2000 The NetBSD Foundation, Inc. @@ -372,9 +372,12 @@ cpu_startup() printf("cpu0: features %s\n", buf); } - if (cpuid_level >= 3 && ((cpu_feature & CPUID_PN) != 0)) - printf("cpu0: serial number %08X%08X%08X\n", - cpu_serial[0], cpu_serial[1], cpu_serial[2]); + if (cpuid_level >= 3 && ((cpu_feature & CPUID_PN) != 0)) { + printf("cpu0: serial number %04X-%04X-%04X-%04X-%04X-%04X\n", + cpu_serial[0] / 65536, cpu_serial[0] % 65536, + cpu_serial[1] / 65536, cpu_serial[1] % 65536, + cpu_serial[2] / 65536, cpu_serial[2] % 65536); + } format_bytes(pbuf, sizeof(pbuf), ptoa(physmem)); printf("total memory = %s\n", pbuf);