diff options
| author | Greg Kroah-Hartman <[email protected]> | 2018-07-13 12:05:51 +0200 |
|---|---|---|
| committer | Greg Kroah-Hartman <[email protected]> | 2018-07-14 09:16:28 +0200 |
| commit | 7faa7d57b2f0fe4e1f2ac3501d343e9429ce0a32 (patch) | |
| tree | 7f989d0de8fbd971ece7dab38755d1cfedf63780 /tools/perf/scripts/python/bin | |
| parent | 3870288897f455fd5ec62539829ce7120a434c24 (diff) | |
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 <[email protected]>
Cc: John Joseph <[email protected]>
Cc: Ben Chan <[email protected]>
Signed-off-by: Greg Kroah-Hartman <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/bin')
0 files changed, 0 insertions, 0 deletions