um: header debriding - activate_ipi()
authorAl Viro <viro@zeniv.linux.org.uk>
Mon, 20 Sep 2021 21:32:57 +0000 (21:32 +0000)
committerRichard Weinberger <richard@nod.at>
Tue, 21 Dec 2021 20:31:35 +0000 (21:31 +0100)
commited4b1cc5900ecf67b70906a01850ba4ee11503c0
tree756ba474b18af809753f3675b717b5257a16a4d4
parent8e5d7cf3479abfc9c331a2d7faec0bac2b6f327a
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>
arch/um/include/shared/irq_user.h