5052e3a1dc
and exit(), which has already solved the problem in regards to deadlocked IPI's.
and exit(), which has already solved the problem in regards to deadlocked IPI's.