2.48.4 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

ParamDescription
sgiIDSecure Gateway Interrupt (SGI) Identifier
cpuIDID number for the processor core in an SMP setup

Returns

None.