]> err.no Git - linux-2.6/search
[PATCH] NMI: Update NMI users of RCU to use new API