Change Details

The low bits of GICR_PROPBASER are defined as The number of bits of LPI INTID supported, minus one, by the LPI Configuration table starting at Physical_Address. but flsl(1 << n) returns n + 1; so we need to subtract 2 instead of one. PR: 285677 Reported by: Julien Grall Sponsored by: Amazon

The low bits of GICR_PROPBASER are defined as The number of bits of LPI INTID supported, minus one, by the LPI Configuration table starting at Physical_Address. but flsl(1 << n) returns n + 1; use ilog2_long instead. PR: 285677 Reported by: Julien Grall Sponsored by: Amazon

The low bits of GICR_PROPBASER are defined as The number of bits of LPI INTID supported, minus one, by the LPI Configuration table starting at Physical_Address. but flsl(1 << n) returns n + 1; so we need to subtract 2use ilog2_long instead of one. PR: 285677 Reported by: Julien Grall Sponsored by: Amazon