| Index: src/execution.h
|
| diff --git a/src/execution.h b/src/execution.h
|
| index 6d0b15f214762a65082492ad7fe7af826893dd15..563c496eb0594447b8929fd440019050dd307ae6 100644
|
| --- a/src/execution.h
|
| +++ b/src/execution.h
|
| @@ -212,8 +212,6 @@ enum InterruptFlag {
|
| void ClearInterrupt(int flagbit);
|
| bool CheckAndClearInterrupt(InterruptFlag flag, const ExecutionAccess& lock);
|
|
|
| - void InvokeApiInterruptCallback();
|
| -
|
| // You should hold the ExecutionAccess lock when calling this method.
|
| bool has_pending_interrupts(const ExecutionAccess& lock) {
|
| // Sanity check: We shouldn't be asking about pending interrupts
|
|
|