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.