| 1 | /* |
| 2 | * Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries. |
| 3 | * |
| 4 | * SPDX-License-Identifier: GPL-2.0-or-later |
| 5 | */ |
| 6 | |
| 7 | #ifndef HEX_INTERRUPTS_H |
| 8 | #define HEX_INTERRUPTS_H |
| 9 | |
| 10 | bool hex_check_interrupts(CPUHexagonState *env); |
| 11 | void hex_clear_interrupts(CPUHexagonState *env, uint32_t mask, uint32_t type); |
| 12 | void hex_raise_interrupts(CPUHexagonState *env, uint32_t mask, uint32_t type); |
| 13 | void hex_interrupt_update(CPUHexagonState *env); |
| 14 | |
| 15 | #endif |