mirror of
https://github.com/raspberrypi/linux.git
synced 2025-12-27 20:42:52 +00:00
Just use a local econet_mutex instead. Signed-off-by: David S. Miller <davem@davemloft.net>
Just use a local econet_mutex instead. Signed-off-by: David S. Miller <davem@davemloft.net>