/* Return whether the Source interrupt index refers to a shared interrupt (SPI)  */
STATIC BOOLEAN SourceIsSpi(IN UINTN Source)
/* Return whether the Source interrupt index refers to a shared interrupt (SPI)  */
STATIC BOOLEAN SourceIsSpi(IN UINTN Source)
{
  return Source >= 32 && Source < 1020;
}