1.28.8.5 SGI_HANDLER Typedef
C
typedef void (*SGI_HANDLER) (uint32_t sgiID, uint32_t cpuID);
Summary
Defines the function pointer data type and function signature for the SGI Interrupt Handler.
Description
This typedef defines the function signature for SGI Callback handler. User need to implement the handler function in the app code and register it using GIC_RegisterSGIInterruptHandler() function.
Parameters
Param | Description |
---|---|
sgiID | Secure Gateway Interrupt (SGI) Identifier |
cpuID | ID number for the processor core in an SMP setup |
Returns
None.