de3d6f78cf
early during boot, just after CPUs are attached but before they are marked as running. This will result in a list of CPUs without the SPCF_RUNNING flag set, and will trigger the 'KASSERT(xc_tailp < xc_headp)' in xc_lowpri() as no cross call is issued. Bug reported and patch tested by tron@. See also http://mail-index.netbsd.org/tech-kern/2009/10/19/msg006293.html