text: /*	$OpenBSD: ka670.c,v 1.9 2008/08/18 23:05:38 miod Exp $	*/
  /*	$NetBSD: ka670.c,v 1.4 2000/03/13 23:52:35 soren Exp $	*/
  /*
   * Copyright (c) 1999 Ludd, University of Lule}, Sweden.
   * All rights reserved.
   *
   * This code is derived from software contributed to Ludd by Bertram Barth.
   *
   * Redistribution and use in source and binary forms, with or without
   * modification, are permitted provided that the following conditions
   * are met:
   * 1. Redistributions of source code must retain the above copyright
   *    notice, this list of conditions and the following disclaimer.
   * 2. Redistributions in binary form must reproduce the above copyright
   *    notice, this list of conditions and the following disclaimer in the
   *    documentation and/or other materials provided with the distribution.
   * 3. All advertising materials mentioning features or use of this software
   *    must display the following acknowledgement:
   *	This product includes software developed at Ludd, University of 
   *	Lule}, Sweden and its contributors.
   * 4. The name of the author may not be used to endorse or promote products
   *    derived from this software without specific prior written permission
   *
   * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
   * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
   * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
   * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
   * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
   * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
   * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
   * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
   * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
   * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
   */
  
  #include <sys/param.h>
  #include <sys/types.h>
  #include <sys/device.h>
  #include <sys/kernel.h>
  #include <sys/systm.h>
  
  #include <uvm/uvm_extern.h>
  
  #include <machine/pte.h>
  #include <machine/cpu.h>
  #include <machine/mtpr.h>
  #include <machine/sid.h>
  #include <machine/pmap.h>
  #include <machine/nexus.h>
  #include <machine/uvax.h>
  #include <machine/vsbus.h>
  #include <machine/ka670.h>
  #include <machine/clock.h>
  
  static	void ka670_conf(void);
  
  static	int ka670_mchk(caddr_t);
  static	void ka670_memerr(void);
  static	int ka670_cache_init(void);	/* "int mapen" as argument? */
  
  struct	cpu_dep ka670_calls = {
  	0,
  	ka670_mchk,
  	ka670_memerr,
  	ka670_conf,
  	generic_clkread,
  	generic_clkwrite,
  	8,	/* 8 VUP */
  	2,	/* SCB pages */
  	generic_halt,
  	generic_reboot,
  	NULL,
  	NULL,
  	hardclock
  };
  
  #define KA670_MC_RESTART	0x00008000	/* Restart possible*/
  #define KA670_PSL_FPDONE	0x00010000	/* First Part Done */
  
  struct ka670_mcframe {		/* Format of RigelMAX machine check frame: */
  	int	mc670_bcnt;	/* byte count, always 24 (0x18) */
  	int	mc670_code;	/* machine check type code and restart bit */
  	int	mc670_addr;	/* most recent (faulting?) virtual address */
  	int	mc670_viba;	/* contents of VIBA register */
  	int	mc670_sisr;	/* ICCS bit 6 and SISR bits 15:0 */
  	int	mc670_istate;	/* internal state */
  	int	mc670_sc;	/* shift count register */
  	int	mc670_pc;	/* trapped PC */
  	int	mc670_psl;	/* trapped PSL */
  };
  
  #if 0
  
  /*
   * This is not the mchk types on KA670.
   */
  static char *ka670_mctype[] = {
  	"no error (0)",			/* Code 0: No error */
  	"FPA: protocol error",		/* Code 1-5: FPA errors */
  	"FPA: illegal opcode",
  	"FPA: operand parity error",
  	"FPA: unknown status",
  	"FPA: result parity error",
  	"unused (6)",			/* Code 6-7: Unused */
  	"unused (7)",
  	"MMU error (TLB miss)",		/* Code 8-9: MMU errors */
  	"MMU error (TLB hit)",
  	"HW interrupt at unused IPL",	/* Code 10: Interrupt error */
  	"MOVCx impossible state",	/* Code 11-13: Microcode errors */
  	"undefined trap code (i-box)",
  	"undefined control store address",
  	"unused (14)",			/* Code 14-15: Unused */
  	"unused (15)",
  	"PC tag or data parity error",	/* Code 16: Cache error */
  	"data bus parity error",	/* Code 17: Read error */
  	"data bus error (NXM)",		/* Code 18: Write error */
  	"undefined data bus state",	/* Code 19: Bus error */
  };
  #define MC670_MAX	19
  #endif
  
  static int ka670_error_count = 0;
  
  int
  ka670_mchk(addr)
  	caddr_t addr;
  {
  	register struct ka670_mcframe *mcf = (void *)addr;
  
  	mtpr(0x00, PR_MCESR);	/* Acknowledge the machine check */
  	printf("machine check %d (0x%x)\n", mcf->mc670_code, mcf->mc670_code);
  	printf("PC %x PSL %x\n", mcf->mc670_pc, mcf->mc670_psl);
  	if (++ka670_error_count > 10) {
  		printf("error_count exceeded: %d\n", ka670_error_count);
  		return (-1);
  	}
  
  	/*
  	 * If either the Restart flag is set or the First-Part-Done flag
  	 * is set, and the TRAP2 (double error) bit is not set, then the
  	 * error is recoverable.
  	 */
  	if (mfpr(PR_PCSTS) & KA670_PCS_TRAP2) {
  		printf("TRAP2 (double error) in ka670_mchk.\n");
  		panic("unrecoverable state in ka670_mchk.");
  		return (-1);
  	}
  	if ((mcf->mc670_code & KA670_MC_RESTART) || 
  	    (mcf->mc670_psl & KA670_PSL_FPDONE)) {
  		printf("ka670_mchk: recovering from machine-check.\n");
  		ka670_cache_init();	/* reset caches */
  		return (0);		/* go on; */
  	}
  
  	/*
  	 * Unknown error state, panic/halt the machine!
  	 */
  	printf("ka670_mchk: unknown error state!\n");
  	return (-1);
  }
  
  void
  ka670_memerr()
  {
  	/*
  	 * Don\'t know what to do here. So just print some messages
  	 * and try to go on...
  	 */
  	printf("memory error!\n");
  	printf("primary cache status: %b\n", mfpr(PR_PCSTS), KA670_PCSTS_BITS);
  	printf("secondary cache status: %b\n", mfpr(PR_BCSTS), KA670_BCSTS_BITS);
  }
  
  int
  ka670_cache_init()
  {
  	int val;
  
  	mtpr(KA670_PCS_REFRESH, PR_PCSTS);	/* disable primary cache */
  	val = mfpr(PR_PCSTS);
  	mtpr(val, PR_PCSTS);			/* clear error flags */
  	mtpr(8, PR_BCCTL);			/* disable backup cache */
  	mtpr(0, PR_BCFBTS);	/* flush backup cache tag store */
  	mtpr(0, PR_BCFPTS);	/* flush primary cache tag store */
  	mtpr(0x0e, PR_BCCTL);	/* enable backup cache */
  	mtpr(KA670_PCS_FLUSH | KA670_PCS_REFRESH, PR_PCSTS);	/* flush primary cache */
  	mtpr(KA670_PCS_ENABLE | KA670_PCS_REFRESH, PR_PCSTS);	/* flush primary cache */
  
  #ifdef DEBUG
  	printf("primary cache status: %b\n", mfpr(PR_PCSTS), KA670_PCSTS_BITS);
  	printf("secondary cache status: %b\n", mfpr(PR_BCSTS), KA670_BCSTS_BITS);
  #endif
  
  	return (0);
  }
  void
  ka670_conf()
  {
  	printf("cpu0: KA670, ucode rev %d\n", vax_cpudata % 0377);
  
  	/*
  	 * ka670_conf() gets called with MMU enabled, now it's safe to
  	 * init/reset the caches.
  	 */
  	ka670_cache_init();
  
  	cpmbx = (struct cpmbx *)vax_map_physmem(0x20140400, 1);
  }
  