On Wed, 21 Feb 2024 at 17:33, Nabih Estefan <nabiheste...@google.com> wrote:
> From: Roque Arcudia Hernandez <roq...@google.com>
> According to the “GICv3 and GICv4 Software Overview” the DeviceID is
> IMPLEMENTATION DEFINED. This patch increases the DeviceID in send_msi virtual
> function to 32 bits to allow the possibility of a redefinition of it with a
> bigger DeviceID.

It's IMPLEMENTATION DEFINED, and our implementation defines it
to be 16 bits (see the ITS_DEVBITS #define). So uint16_t is fine.

Again, this change is missing any context that would motivate it,
and needs to be upstreamed along with whatever the actual code
is that needs it, not as a single thing on its own.

-- PMM

Reply via email to