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