Searched refs:GicSgi (Results 1 – 1 of 1) sorted by relevance
96 STATIC VOID GicSgi(UINT32 irq, UINT32 cpuMask) in GicSgi() function123 GicSgi(ipi, target); in HalIrqSendIpi()