Re: Using fixed LPI number for some Device ID

2020-11-03 Thread Marc Zyngier
On 2020-11-03 05:22, Dongjiu Geng wrote: On 2020/10/31 17:55, Marc Zyngier wrote: Dongjiu, On Sat, 31 Oct 2020 02:19:19 +, Dongjiu Geng wrote: 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

Re: Using fixed LPI number for some Device ID

2020-11-02 Thread Dongjiu Geng
On 2020/10/31 17:55, Marc Zyngier wrote: > Dongjiu, > > On Sat, 31 Oct 2020 02:19:19 +, > Dongjiu Geng wrote: >> >> 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 th

Re: Using fixed LPI number for some Device ID

2020-11-02 Thread Dongjiu Geng
On 2020/10/31 17:58, Marc Zyngier wrote: > On Sat, 31 Oct 2020 03:10:24 +, > Dongjiu Geng wrote: > > [...] > >> Sorry for the noise, Because Marc rarely uses the ARM email address, >> so I replace to use Marc's kernel.org address instead of ARM email address. > Rarely is quite the unders

Re: Using fixed LPI number for some Device ID

2020-10-31 Thread Marc Zyngier
On Sat, 31 Oct 2020 03:10:24 +, Dongjiu Geng wrote: [...] > Sorry for the noise, Because Marc rarely uses the ARM email address, > so I replace to use Marc's kernel.org address instead of ARM email address. Rarely is quite the understatement. I left ARM over a year ago, so the likelihoo

Re: Using fixed LPI number for some Device ID

2020-10-31 Thread Marc Zyngier
Dongjiu, On Sat, 31 Oct 2020 02:19:19 +, Dongjiu Geng wrote: > > 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 interru

Re: Using fixed LPI number for some Device ID

2020-10-30 Thread Dongjiu Geng
On 2020/10/31 10:59, Thomas Gleixner wrote: > On Sat, Oct 31 2020 at 10:19, Dongjiu Geng wrote: >> 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 ne

Re: Using fixed LPI number for some Device ID

2020-10-30 Thread Thomas Gleixner
On Sat, Oct 31 2020 at 10:19, Dongjiu Geng wrote: > 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

Re: Using fixed LPI number for some Device ID

2020-10-30 Thread Dongjiu Geng
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 t

Using fixed LPI number for some Device ID

2020-10-30 Thread Dongjiu Geng
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 re