Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 21 Nov 2011 04:35:23 +0000 (UTC)
From:      Nathan Whitehorn <nwhitehorn@FreeBSD.org>
To:        src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org
Subject:   svn commit: r227779 - head/sys/powerpc/ps3
Message-ID:  <201111210435.pAL4ZNdh024152@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: nwhitehorn
Date: Mon Nov 21 04:35:23 2011
New Revision: 227779
URL: http://svn.freebsd.org/changeset/base/227779

Log:
  The PPC IRQ layer assumes that the IPI IRQ is the last IRQ on the PIC.
  This assumption is invalid and the code should be fixed, but humor it for
  now and set the "IPI" for PS3s in the non-SMP case to a large number. This
  fixes boot with a non-SMP kernel.
  
  Submitted by:	geoffrey dot levand at mail dot ru
  MFC after:	1 week

Modified:
  head/sys/powerpc/ps3/ps3pic.c

Modified: head/sys/powerpc/ps3/ps3pic.c
==============================================================================
--- head/sys/powerpc/ps3/ps3pic.c	Mon Nov 21 04:17:24 2011	(r227778)
+++ head/sys/powerpc/ps3/ps3pic.c	Mon Nov 21 04:35:23 2011	(r227779)
@@ -142,6 +142,8 @@ ps3pic_attach(device_t dev)
 	lv1_construct_event_receive_port(&sc->sc_ipi_outlet[1]);
 	lv1_connect_irq_plug_ext(ppe, !thread, sc->sc_ipi_outlet[0],
 	    sc->sc_ipi_outlet[1], 0);
+#else
+	sc->sc_ipi_outlet[0] = sc->sc_ipi_outlet[1] = 63;
 #endif
 
 	powerpc_register_pic(dev, 0, sc->sc_ipi_outlet[0], 1, FALSE);



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201111210435.pAL4ZNdh024152>