/* This function returns after the IPI has been accepted by the target processor. */
VOID EFIAPI SendInitIpi(IN UINT32 ApicId)
/* This function returns after the IPI has been accepted by the target processor. */
VOID EFIAPI SendInitIpi(IN UINT32 ApicId)
{
  LOCAL_APIC_ICR_LOW  IcrLow;
  IcrLow.Uint32            = 0;
  IcrLow.Bits.DeliveryMode = LOCAL_APIC_DELIVERY_MODE_INIT;
  IcrLow.Bits.Level        = 1;
  SendIpi (IcrLow.Uint32, ApicId);
}