public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
* Using fixed LPI number for some Device ID
@ 2020-10-30 11:38 Dongjiu Geng
  2020-10-31  2:19 ` Dongjiu Geng
  0 siblings, 1 reply; 9+ messages in thread
From: Dongjiu Geng @ 2020-10-30 11:38 UTC (permalink / raw)
  To: Marc Zyngier; +Cc: Jason Cooper, Thomas Gleixner, linux-kernel

Hi Marc,
   Sorry to disturb you, Currently the LPI number is not fixed for the device. The LPI number is dynamically allocated start from 8092.
For two OS which shares the ITS, One OS needs to configure the device interrupt required by another OS, and the other OS uses a fixed interrupt
ID to respond the interrupt. Therefore, the LPI IRQ number of the device needed be fixed. I want to upstream this feature that allocate fixed
LPI number for the device that is specified through the DTS. do you agree?  Thanks!

^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2020-11-03  8:54 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-10-30 11:38 Using fixed LPI number for some Device ID Dongjiu Geng
2020-10-31  2:19 ` Dongjiu Geng
2020-10-31  2:59   ` Thomas Gleixner
2020-10-31  3:10     ` Dongjiu Geng
2020-10-31  9:58       ` Marc Zyngier
2020-11-03  3:24         ` Dongjiu Geng
2020-10-31  9:55   ` Marc Zyngier
2020-11-03  5:22     ` Dongjiu Geng
2020-11-03  8:53       ` Marc Zyngier

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox