| Index: src/execution.h
|
| diff --git a/src/execution.h b/src/execution.h
|
| index 9f2763733cc33168fd8ca0b8feee5944b6f1e3fc..9599a029b657ff5d22a1d0cceb86f84e041fd889 100644
|
| --- a/src/execution.h
|
| +++ b/src/execution.h
|
| @@ -206,7 +206,7 @@ enum InterruptFlag {
|
| bool CheckInterrupt(int flagbit);
|
| void RequestInterrupt(int flagbit);
|
| void ClearInterrupt(int flagbit);
|
| - bool CheckAndClearInterrupt(InterruptFlag flag, const ExecutionAccess& lock);
|
| + bool CheckAndClearInterrupt(InterruptFlag flag);
|
|
|
| // You should hold the ExecutionAccess lock when calling this method.
|
| bool has_pending_interrupts(const ExecutionAccess& lock) {
|
|
|