[PATCH] NMI: Update NMI users of RCU to use new API