[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <7205d3e0-a03a-a06c-f3f4-9a28e58931e0@huawei.com>
Date: Sat, 31 Oct 2020 11:10:24 +0800
From: Dongjiu Geng <gengdongjiu@...wei.com>
To: Thomas Gleixner <tglx@...utronix.de>, Marc Zyngier <maz@...nel.org>
CC: Jason Cooper <jason@...edaemon.net>, <linux-kernel@...r.kernel.org>
Subject: Re: Using fixed LPI number for some Device ID
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 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. What is your meaning? Thanks
>
> What's the purpose of resending the same thing within less than 24
> hours? Do you really expect maintainers to be available 24/7 and being
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.
> able to respond within less than a day?
>
>
> .
>
Powered by blists - more mailing lists