![]() |
S32 SDK
|
#include "device_registers.h"
Go to the source code of this file.
Typedefs | |
typedef void(* | isr_t) (void) |
Interrupt handler type. More... | |
Functions | |
void | DefaultISR (void) |
Default ISR. More... | |
Interrupt manager APIs | |
void | INT_SYS_InstallHandler (IRQn_Type irqNumber, const isr_t newHandler, isr_t *const oldHandler) |
Installs an interrupt handler routine for a given IRQ number. More... | |
void | INT_SYS_EnableIRQ (IRQn_Type irqNumber) |
Enables an interrupt for a given IRQ number. More... | |
void | INT_SYS_DisableIRQ (IRQn_Type irqNumber) |
Disables an interrupt for a given IRQ number. More... | |
void | INT_SYS_EnableIRQGlobal (void) |
Enables system interrupt. More... | |
void | INT_SYS_DisableIRQGlobal (void) |
Disable system interrupt. More... | |
void | INT_SYS_SetPriority (IRQn_Type irqNumber, uint8_t priority) |
Set Interrupt Priority. More... | |
uint8_t | INT_SYS_GetPriority (IRQn_Type irqNumber) |
Get Interrupt Priority. More... | |