staging: gasket: remove pointless gasket_interrupt_pause()
commit7faa7d57b2f0fe4e1f2ac3501d343e9429ce0a32
authorGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Fri, 13 Jul 2018 10:05:51 +0000 (13 12:05 +0200)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Sat, 14 Jul 2018 07:16:28 +0000 (14 09:16 +0200)
tree7f989d0de8fbd971ece7dab38755d1cfedf63780
parent3870288897f455fd5ec62539829ce7120a434c24
staging: gasket: remove pointless gasket_interrupt_pause()

gasket_interrupt_pause() does nothing, and no one calls it, so remove it
as it is dead-weight.

Cc: Rob Springer <rspringer@google.com>
Cc: John Joseph <jnjoseph@google.com>
Cc: Ben Chan <benchan@chromium.org>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
drivers/staging/gasket/gasket_interrupt.c
drivers/staging/gasket/gasket_interrupt.h