um: header debriding - activate_ipi()
... had been dead for 15 years.Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>Signed-off-by: Richard Weinberger <richard@nod.at>
authored by Al Viro and committed by Richard Weinberger 4 years ago ed4b1cc5 8e5d7cf3