| Index: src/execution.h
|
| diff --git a/src/execution.h b/src/execution.h
|
| index 7c5c58533757d37e39d7aefb9de95973db83ca10..e9c6eb1a37b55d81b29925dde256fddd60c9b685 100644
|
| --- a/src/execution.h
|
| +++ b/src/execution.h
|
| @@ -203,7 +203,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) {
|
|
|