/* * Send a dummy ipi to a cpu to force it to run splraise()/spllower() */