At 9:42 AM -0500 12/5/04, Tim Kelly wrote: > found that with enabling PSL_EE only in >do_pending_int for CPU0 only, rebooting does not succeed, as CPU1 does not >halt. I meant to add that the halt command is set by an IPI, so the problem is related to PSL_EE. tim