|
oveRTOS C API
Embedded RTOS framework — build system, configuration, and portable C API
|


Go to the source code of this file.
Typedefs | |
| typedef uint64_t | ove_irq_key_t |
| Opaque cookie returned by ove_irq_lock for use with ove_irq_unlock. | |
Functions | |
| ove_irq_key_t | ove_irq_lock (void) |
| Enter a critical section: disable interrupts (or equivalent backend mechanism) and return an opaque restore cookie. | |
| void | ove_irq_unlock (ove_irq_key_t key) |
| Leave a critical section, restoring the interrupt state captured by the corresponding ove_irq_lock. | |
| bool | ove_is_in_isr (void) |
| Return true if the caller is currently in interrupt context. | |