Searched refs:EFI_MP_SERVICES_SEND_IPI (Results 1 – 1 of 1) sorted by relevance
580 (EFIAPI *EFI_MP_SERVICES_SEND_IPI)( typedef655 EFI_MP_SERVICES_SEND_IPI SendIPI;