1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48#include <common.h>
49#include "mip405.h"
50#include <asm/processor.h>
51#include <asm/ppc4xx.h>
52#include <asm/ppc4xx-i2c.h>
53#include <miiphy.h>
54#include "../common/common_util.h"
55#include <stdio_dev.h>
56#include <i2c.h>
57#include <rtc.h>
58
59DECLARE_GLOBAL_DATA_PTR;
60
61#undef SDRAM_DEBUG
62#define ENABLE_ECC
63
64
65#ifndef __ldiv_t_defined
66typedef struct {
67 long int quot;
68 long int rem;
69} ldiv_t;
70extern ldiv_t ldiv (long int __numer, long int __denom);
71# define __ldiv_t_defined 1
72#endif
73
74
75#define PLD_PART_REG PER_PLD_ADDR + 0
76#define PLD_VERS_REG PER_PLD_ADDR + 1
77#define PLD_BOARD_CFG_REG PER_PLD_ADDR + 2
78#define PLD_IRQ_REG PER_PLD_ADDR + 3
79#define PLD_COM_MODE_REG PER_PLD_ADDR + 4
80#define PLD_EXT_CONF_REG PER_PLD_ADDR + 5
81
82#define MEGA_BYTE (1024*1024)
83
84typedef struct {
85 unsigned char boardtype;
86 unsigned char cal;
87 unsigned char trp;
88 unsigned char trcd;
89 unsigned char tras;
90 unsigned char tctp;
91 unsigned char am;
92 unsigned char sz;
93 unsigned char ecc;
94} sdram_t;
95#if defined(CONFIG_MIP405T)
96const sdram_t sdram_table[] = {
97 { 0x0F,
98 3,
99 3,
100 3,
101 6,
102 4,
103 2,
104 3,
105 0},
106 { 0xff,
107 0xff,
108 0xff,
109 0xff,
110 0xff,
111 0xff,
112 0xff,
113 0xff }
114};
115#else
116const sdram_t sdram_table[] = {
117 { 0x0f,
118 3,
119 3,
120 3,
121 6,
122 4,
123 3,
124 5,
125 1},
126 { 0x07,
127 3,
128 3,
129 3,
130 6,
131 4,
132 2,
133 4,
134 1},
135 { 0x03,
136 3,
137 3,
138 3,
139 6,
140 4,
141 3,
142 5,
143 1},
144 { 0x1f,
145 3,
146 3,
147 3,
148 6,
149 4,
150 3,
151 5,
152 1},
153 { 0x2f,
154 3,
155 3,
156 3,
157 6,
158 4,
159 3,
160 5,
161 1},
162 { 0xff,
163 0xff,
164 0xff,
165 0xff,
166 0xff,
167 0xff,
168 0xff,
169 0xff }
170};
171#endif
172void SDRAM_err (const char *s)
173{
174#ifndef SDRAM_DEBUG
175 (void) get_clocks ();
176 gd->baudrate = 9600;
177 serial_init ();
178#endif
179 serial_puts ("\n");
180 serial_puts (s);
181 serial_puts ("\n enable SDRAM_DEBUG for more info\n");
182 for (;;);
183}
184
185
186unsigned char get_board_revcfg (void)
187{
188 out8 (PER_BOARD_ADDR, 0);
189 return (in8 (PER_BOARD_ADDR));
190}
191
192
193#ifdef SDRAM_DEBUG
194
195void write_hex (unsigned char i)
196{
197 char cc;
198
199 cc = i >> 4;
200 cc &= 0xf;
201 if (cc > 9)
202 serial_putc (cc + 55);
203 else
204 serial_putc (cc + 48);
205 cc = i & 0xf;
206 if (cc > 9)
207 serial_putc (cc + 55);
208 else
209 serial_putc (cc + 48);
210}
211
212void write_4hex (unsigned long val)
213{
214 write_hex ((unsigned char) (val >> 24));
215 write_hex ((unsigned char) (val >> 16));
216 write_hex ((unsigned char) (val >> 8));
217 write_hex ((unsigned char) val);
218}
219
220#endif
221
222
223int init_sdram (void)
224{
225 unsigned long tmp, baseaddr;
226 unsigned short i;
227 unsigned char trp_clocks,
228 trcd_clocks,
229 tras_clocks,
230 trc_clocks;
231 unsigned char cal_val;
232 unsigned char bc;
233 unsigned long sdram_tim, sdram_bank;
234
235
236 (void) get_clocks ();
237 gd->baudrate = 9600;
238 serial_init ();
239
240 mtdcr (EBC0_CFGADDR, PB7AP);
241 mtdcr (EBC0_CFGDATA, PLD_AP);
242 mtdcr (EBC0_CFGADDR, PB7CR);
243 mtdcr (EBC0_CFGDATA, PLD_CR);
244
245
246 mtdcr (EBC0_CFGADDR, PB5AP);
247 mtdcr (EBC0_CFGDATA, BOARD_AP);
248 mtdcr (EBC0_CFGADDR, PB5CR);
249 mtdcr (EBC0_CFGDATA, BOARD_CR);
250#ifdef SDRAM_DEBUG
251
252 serial_puts ("\nPLD Part 0x");
253 bc = in8 (PLD_PART_REG);
254 write_hex (bc);
255 serial_puts ("\nPLD Vers 0x");
256 bc = in8 (PLD_VERS_REG);
257 write_hex (bc);
258 serial_puts ("\nBoard Rev 0x");
259 bc = in8 (PLD_BOARD_CFG_REG);
260 write_hex (bc);
261 serial_puts ("\n");
262#endif
263
264 bc = in8 (PLD_PART_REG);
265#if defined(CONFIG_MIP405T)
266 if((bc & 0x80)==0)
267 SDRAM_err ("U-Boot configured for a MIP405T not for a MIP405!!!\n");
268#else
269 if((bc & 0x80)==0x80)
270 SDRAM_err ("U-Boot configured for a MIP405 not for a MIP405T!!!\n");
271#endif
272
273 mtdcr (EBC0_CFGADDR, PB0CR);
274 tmp = mfdcr (EBC0_CFGDATA);
275 if ((tmp & 0x00002000) == 0) {
276
277 mtdcr (EBC0_CFGADDR, PB1AP);
278 mtdcr (EBC0_CFGDATA, FLASH_AP);
279 mtdcr (EBC0_CFGADDR, PB1CR);
280 mtdcr (EBC0_CFGDATA, FLASH_CR);
281 } else {
282
283 mtdcr (EBC0_CFGADDR, PB1AP);
284 mtdcr (EBC0_CFGDATA, MPS_AP);
285 mtdcr (EBC0_CFGADDR, PB1CR);
286 mtdcr (EBC0_CFGDATA, MPS_CR);
287 }
288
289 mtdcr (EBC0_CFGADDR, PB2AP);
290 mtdcr (EBC0_CFGDATA, UART0_AP);
291 mtdcr (EBC0_CFGADDR, PB2CR);
292 mtdcr (EBC0_CFGDATA, UART0_CR);
293 mtdcr (EBC0_CFGADDR, PB3AP);
294 mtdcr (EBC0_CFGDATA, UART1_AP);
295 mtdcr (EBC0_CFGADDR, PB3CR);
296 mtdcr (EBC0_CFGDATA, UART1_CR);
297 bc = in8 (PLD_BOARD_CFG_REG);
298#ifdef SDRAM_DEBUG
299 serial_puts ("\nstart SDRAM Setup\n");
300 serial_puts ("\nBoard Rev: ");
301 write_hex (bc);
302 serial_puts ("\n");
303#endif
304 i = 0;
305 baseaddr = CONFIG_SYS_SDRAM_BASE;
306 while (sdram_table[i].sz != 0xff) {
307 if (sdram_table[i].boardtype == bc)
308 break;
309 i++;
310 }
311 if (sdram_table[i].boardtype != bc)
312 SDRAM_err ("No SDRAM table found for this board!!!\n");
313#ifdef SDRAM_DEBUG
314 serial_puts (" found table ");
315 write_hex (i);
316 serial_puts (" \n");
317#endif
318
319
320
321 if (sdram_table[i].ecc)
322 serial_puts ("\nInitializing SDRAM, Please stand by");
323 cal_val = sdram_table[i].cal - 1;
324 trp_clocks = sdram_table[i].trp;
325 trcd_clocks = sdram_table[i].trcd;
326 tras_clocks = sdram_table[i].tras;
327
328
329 trc_clocks = trp_clocks + tras_clocks;
330
331 mtdcr (SDRAM0_CFGADDR, SDRAM0_TR);
332 sdram_tim = mfdcr (SDRAM0_CFGDATA) & ~0x018FC01F;
333
334 sdram_tim |= ((unsigned long) (cal_val)) << 23;
335
336 sdram_tim |= ((unsigned long) (trp_clocks - 1)) << 18;
337
338 sdram_tim |=
339 ((unsigned long) (trc_clocks - trp_clocks -
340 trcd_clocks)) << 16;
341
342 sdram_tim |= ((unsigned long) 0x01) << 14;
343
344 sdram_tim |= ((unsigned long) (trc_clocks - 4)) << 2;
345
346 sdram_tim |= ((unsigned long) (trcd_clocks - 1)) << 0;
347
348 tmp = ((unsigned long) (sdram_table[i].am - 1) << 13);
349
350 tmp |= ((unsigned long) sdram_table[i].sz << 17);
351
352 mtdcr (SDRAM0_CFGADDR, SDRAM0_B0CR);
353 sdram_bank = mfdcr (SDRAM0_CFGDATA) & ~0xFFCEE001;
354 sdram_bank |= (baseaddr | tmp | 0x01);
355
356#ifdef SDRAM_DEBUG
357 serial_puts ("sdtr: ");
358 write_4hex (sdram_tim);
359 serial_puts ("\n");
360#endif
361
362
363 mtdcr (SDRAM0_CFGADDR, SDRAM0_TR);
364 mtdcr (SDRAM0_CFGDATA, sdram_tim);
365
366#ifdef SDRAM_DEBUG
367 serial_puts ("mb0cf: ");
368 write_4hex (sdram_bank);
369 serial_puts ("\n");
370#endif
371
372
373 mtdcr (SDRAM0_CFGADDR, SDRAM0_B0CR);
374 mtdcr (SDRAM0_CFGDATA, sdram_bank);
375
376 if (get_bus_freq (tmp) > 110000000) {
377
378 mtdcr (SDRAM0_CFGADDR, SDRAM0_RTR);
379 tmp = mfdcr (SDRAM0_CFGDATA) & ~0x3FF80000;
380 tmp |= 0x07F00000;
381 } else {
382
383 mtdcr (SDRAM0_CFGADDR, SDRAM0_RTR);
384 tmp = mfdcr (SDRAM0_CFGDATA) & ~0x3FF80000;
385 tmp |= 0x05F00000;
386 }
387
388 mtdcr (SDRAM0_CFGADDR, SDRAM0_RTR);
389 mtdcr (SDRAM0_CFGDATA, tmp);
390
391#if defined(ENABLE_ECC) && !defined(CONFIG_BOOT_PCI)
392 if (sdram_table[i].ecc) {
393
394 unsigned long *p;
395#ifdef SDRAM_DEBUG
396 serial_puts ("disable ECC.. ");
397#endif
398 mtdcr (SDRAM0_CFGADDR, SDRAM0_ECCCFG);
399 tmp = mfdcr (SDRAM0_CFGDATA);
400 tmp &= 0xff0fffff;
401 mtdcr (SDRAM0_CFGADDR, SDRAM0_ECCCFG);
402
403#ifdef SDRAM_DEBUG
404 serial_puts ("setup SDRAM Controller.. ");
405#endif
406 mtdcr (SDRAM0_CFGDATA, tmp);
407 mtdcr (SDRAM0_CFGADDR, SDRAM0_CFG);
408 tmp = (mfdcr (SDRAM0_CFGDATA) & ~0xFFE00000) | 0x90800000;
409 mtdcr (SDRAM0_CFGADDR, SDRAM0_CFG);
410 mtdcr (SDRAM0_CFGDATA, tmp);
411 udelay (600);
412#ifdef SDRAM_DEBUG
413 serial_puts ("fill the memory..\n");
414#endif
415 serial_puts (".");
416
417 tmp = ((4 * MEGA_BYTE) << sdram_table[i].sz);
418 p = (unsigned long) 0;
419 while ((unsigned long) p < tmp) {
420 *p++ = 0L;
421 if (!((unsigned long) p % 0x00800000))
422 serial_puts (".");
423 }
424
425 serial_puts (".");
426#ifdef SDRAM_DEBUG
427 serial_puts ("enable ECC\n");
428#endif
429 udelay (400);
430 mtdcr (SDRAM0_CFGADDR, SDRAM0_ECCCFG);
431 tmp = mfdcr (SDRAM0_CFGDATA);
432 tmp |= 0x00800000;
433 mtdcr (SDRAM0_CFGDATA, tmp);
434 udelay (400);
435 } else
436#endif
437 {
438
439 mtdcr (SDRAM0_CFGADDR, SDRAM0_CFG);
440 tmp = (mfdcr (SDRAM0_CFGDATA) & ~0xFFE00000) | 0x80C00000;
441 mtdcr (SDRAM0_CFGADDR, SDRAM0_CFG);
442 mtdcr (SDRAM0_CFGDATA, tmp);
443 udelay (400);
444 }
445 serial_puts ("\n");
446 return (0);
447}
448
449int board_early_init_f (void)
450{
451 init_sdram ();
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472 mtdcr (UIC0SR, 0xFFFFFFFF);
473 mtdcr (UIC0ER, 0x00000000);
474 mtdcr (UIC0CR, 0x00000000);
475 mtdcr (UIC0PR, 0xFFFFFF80);
476 mtdcr (UIC0TR, 0x10000000);
477 mtdcr (UIC0VCR, 0x00000001);
478 mtdcr (UIC0SR, 0xFFFFFFFF);
479 return 0;
480}
481
482int board_early_init_r(void)
483{
484 int mode;
485
486
487
488
489
490 icache_enable();
491 setup_cs_reloc();
492
493 mode = get_boot_mode();
494 if (mode & BOOT_PCI)
495 printf("PCI Boot %s Map\n", (mode & BOOT_MPS) ?
496 "MPS" : "Flash");
497 else
498 printf("%s Boot\n", (mode & BOOT_MPS) ?
499 "MPS" : "Flash");
500
501 return 0;
502}
503
504
505
506
507
508unsigned short get_pld_parvers (void)
509{
510 unsigned short result;
511 unsigned char rc;
512
513 rc = in8 (PLD_PART_REG);
514 result = (unsigned short) rc << 8;
515 rc = in8 (PLD_VERS_REG);
516 result |= rc;
517 return result;
518}
519
520
521void user_led0 (unsigned char on)
522{
523 if (on)
524 out8 (PLD_COM_MODE_REG, (in8 (PLD_COM_MODE_REG) | 0x4));
525 else
526 out8 (PLD_COM_MODE_REG, (in8 (PLD_COM_MODE_REG) & 0xfb));
527}
528
529
530void ide_set_reset (int idereset)
531{
532
533 if (idereset)
534 out8 (PLD_COM_MODE_REG, (in8 (PLD_COM_MODE_REG) | 0x1));
535 else {
536 udelay (10000);
537 out8 (PLD_COM_MODE_REG, (in8 (PLD_COM_MODE_REG) & 0xfe));
538 }
539}
540
541
542
543
544void get_pcbrev_var(unsigned char *pcbrev, unsigned char *var)
545{
546#if !defined(CONFIG_MIP405T)
547 unsigned char bc,rc,tmp;
548 int i;
549
550 bc = in8 (PLD_BOARD_CFG_REG);
551 tmp = ~bc;
552 tmp &= 0xf;
553 rc = 0;
554 for (i = 0; i < 4; i++) {
555 rc <<= 1;
556 rc += (tmp & 0x1);
557 tmp >>= 1;
558 }
559 rc++;
560 if(( (((bc>>4) & 0xf)==0x2)
561 || (((bc>>4) & 0xf)==0x1))
562 && (rc==0x1))
563 rc=3;
564 *pcbrev=(bc >> 4) & 0xf;
565 *var=rc;
566#else
567 unsigned char bc;
568 bc = in8 (PLD_BOARD_CFG_REG);
569 *pcbrev=(bc >> 4) & 0xf;
570 *var=16-(bc & 0xf);
571#endif
572}
573
574
575
576
577
578#if !defined(CONFIG_MIP405T)
579#define BOARD_NAME "MIP405"
580#else
581#define BOARD_NAME "MIP405T"
582#endif
583
584int checkboard (void)
585{
586 char s[50];
587 unsigned char bc, var;
588 int i;
589 backup_t *b = (backup_t *) s;
590
591 puts ("Board: ");
592 get_pcbrev_var(&bc,&var);
593 i = getenv_f("serial#", (char *)s, 32);
594 if ((i == 0) || strncmp ((char *)s, BOARD_NAME,sizeof(BOARD_NAME))) {
595 get_backup_values (b);
596 if (strncmp (b->signature, "MPL\0", 4) != 0) {
597 puts ("### No HW ID - assuming " BOARD_NAME);
598 printf ("-%d Rev %c", var, 'A' + bc);
599 } else {
600 b->serial_name[sizeof(BOARD_NAME)-1] = 0;
601 printf ("%s-%d Rev %c SN: %s", b->serial_name, var,
602 'A' + bc, &b->serial_name[sizeof(BOARD_NAME)]);
603 }
604 } else {
605 s[sizeof(BOARD_NAME)-1] = 0;
606 printf ("%s-%d Rev %c SN: %s", s, var,'A' + bc,
607 &s[sizeof(BOARD_NAME)]);
608 }
609 bc = in8 (PLD_EXT_CONF_REG);
610 printf (" Boot Config: 0x%x\n", bc);
611 return (0);
612}
613
614
615
616
617
618
619
620
621
622
623static int test_dram (unsigned long ramsize);
624
625phys_size_t initdram (int board_type)
626{
627
628 unsigned long bank_reg[4], tmp, bank_size;
629 int i;
630 unsigned long TotalSize;
631
632
633
634 mtdcr (SDRAM0_CFGADDR, SDRAM0_B0CR);
635 bank_reg[0] = mfdcr (SDRAM0_CFGDATA);
636 mtdcr (SDRAM0_CFGADDR, SDRAM0_B1CR);
637 bank_reg[1] = mfdcr (SDRAM0_CFGDATA);
638 mtdcr (SDRAM0_CFGADDR, SDRAM0_B2CR);
639 bank_reg[2] = mfdcr (SDRAM0_CFGDATA);
640 mtdcr (SDRAM0_CFGADDR, SDRAM0_B3CR);
641 bank_reg[3] = mfdcr (SDRAM0_CFGDATA);
642 TotalSize = 0;
643 for (i = 0; i < 4; i++) {
644 if ((bank_reg[i] & 0x1) == 0x1) {
645 tmp = (bank_reg[i] >> 17) & 0x7;
646 bank_size = 4 << tmp;
647 TotalSize += bank_size;
648 }
649 }
650 mtdcr (SDRAM0_CFGADDR, SDRAM0_ECCCFG);
651 tmp = mfdcr (SDRAM0_CFGDATA);
652
653 if (!tmp)
654 printf ("No ");
655 printf ("ECC ");
656
657 test_dram (TotalSize * MEGA_BYTE);
658 return (TotalSize * MEGA_BYTE);
659}
660
661
662
663
664static int test_dram (unsigned long ramsize)
665{
666#ifdef SDRAM_DEBUG
667 mem_test (0L, ramsize, 1);
668#endif
669
670 return (1);
671}
672
673
674static unsigned long start;
675static struct rtc_time tm;
676
677int misc_init_r (void)
678{
679
680 gd->bd->bi_flashstart=0-flash_info[0].size;
681 gd->bd->bi_flashsize=flash_info[0].size-CONFIG_SYS_MONITOR_LEN;
682 gd->bd->bi_flashoffset=0;
683
684
685 rtc_get (&tm);
686 start=get_timer(0);
687
688 if (mfdcr(CPC0_PSR) & PSR_ROM_LOC)
689 mtspr(SPRN_CCR0, (mfspr(SPRN_CCR0) & ~0x80));
690
691 return (0);
692}
693
694
695void print_mip405_rev (void)
696{
697 unsigned char part, vers, pcbrev, var;
698
699 get_pcbrev_var(&pcbrev,&var);
700 part = in8 (PLD_PART_REG);
701 vers = in8 (PLD_VERS_REG);
702 printf ("Rev: " BOARD_NAME "-%d Rev %c PLD %d Vers %d\n",
703 var, pcbrev + 'A', part & 0x7F, vers);
704}
705
706
707extern int mk_date (char *, struct rtc_time *);
708
709int last_stage_init (void)
710{
711 unsigned long stop;
712 struct rtc_time newtm;
713 char *s;
714
715
716 if (miiphy_write("ppc_4xx_eth0", 0x1, 0x14, 0x2402) != 0) {
717 printf ("Error writing to the PHY\n");
718 }
719
720
721 if (miiphy_write("ppc_4xx_eth0", 0x1, 0x4, 0x01E1) != 0) {
722 printf ("Error writing to the PHY\n");
723 }
724 print_mip405_rev ();
725 stdio_print_current_devices ();
726 check_env ();
727
728 stop=get_timer(start);
729 while(stop<1200) {
730 udelay(1000);
731 stop=get_timer(start);
732 }
733 rtc_get (&newtm);
734 if(tm.tm_sec==newtm.tm_sec) {
735 s=getenv("defaultdate");
736 if(!s)
737 mk_date ("010112001970", &newtm);
738 else
739 if(mk_date (s, &newtm)!=0) {
740 printf("RTC: Bad date format in defaultdate\n");
741 return 0;
742 }
743 rtc_reset ();
744 rtc_set(&newtm);
745 }
746 return 0;
747}
748
749
750
751
752
753int overwrite_console (void)
754{
755
756 return ((in8(PLD_EXT_CONF_REG) & 0x1) == 0);
757}
758
759
760
761
762
763void print_mip405_info (void)
764{
765 unsigned char part, vers, cfg, irq_reg, com_mode, ext;
766
767 part = in8 (PLD_PART_REG);
768 vers = in8 (PLD_VERS_REG);
769 cfg = in8 (PLD_BOARD_CFG_REG);
770 irq_reg = in8 (PLD_IRQ_REG);
771 com_mode = in8 (PLD_COM_MODE_REG);
772 ext = in8 (PLD_EXT_CONF_REG);
773
774 printf ("PLD Part %d version %d\n", part & 0x7F, vers);
775 printf ("Board Revision %c\n", ((cfg >> 4) & 0xf) + 'A');
776 printf ("Population Options %d %d %d %d\n", (cfg) & 0x1,
777 (cfg >> 1) & 0x1, (cfg >> 2) & 0x1, (cfg >> 3) & 0x1);
778 printf ("User LED %s\n", (com_mode & 0x4) ? "on" : "off");
779 printf ("UART Clocks %d\n", (com_mode >> 4) & 0x3);
780#if !defined(CONFIG_MIP405T)
781 printf ("User Config Switch %d %d %d %d %d %d %d %d\n",
782 (ext) & 0x1, (ext >> 1) & 0x1, (ext >> 2) & 0x1,
783 (ext >> 3) & 0x1, (ext >> 4) & 0x1, (ext >> 5) & 0x1,
784 (ext >> 6) & 0x1, (ext >> 7) & 0x1);
785 printf ("SER1 uses handshakes %s\n",
786 (ext & 0x80) ? "DTR/DSR" : "RTS/CTS");
787#else
788 printf ("User Config Switch %d %d %d %d %d %d %d %d\n",
789 (ext) & 0x1, (ext >> 1) & 0x1, (ext >> 2) & 0x1,
790 (ext >> 3) & 0x1, (ext >> 4) & 0x1, (ext >> 5) & 0x1,
791 (ext >> 6) & 0x1,(ext >> 7) & 0x1);
792#endif
793 printf ("IDE Reset %s\n", (ext & 0x01) ? "asserted" : "not asserted");
794 printf ("IRQs:\n");
795 printf (" PIIX INTR: %s\n", (irq_reg & 0x80) ? "inactive" : "active");
796#if !defined(CONFIG_MIP405T)
797 printf (" UART0 IRQ: %s\n", (irq_reg & 0x40) ? "inactive" : "active");
798 printf (" UART1 IRQ: %s\n", (irq_reg & 0x20) ? "inactive" : "active");
799#endif
800 printf (" PIIX SMI: %s\n", (irq_reg & 0x10) ? "inactive" : "active");
801 printf (" PIIX INIT: %s\n", (irq_reg & 0x8) ? "inactive" : "active");
802 printf (" PIIX NMI: %s\n", (irq_reg & 0x4) ? "inactive" : "active");
803}
804