On 2025-09-03 03:55, Jan Beulich wrote:
Along the lines of what b89f8f054f96 ("x86/apic: Drop sync_Arb_IDs()")
said, the function is dead logic as well: All 64-bit capable Intel systems
have (at least) xAPIC (if not x2APIC).

Even if Eclair can't know it, such code is violating Misra rule 2.2 (dead
code; we didn't accept that yet, but - where possible - we probably would
better follow it). Depending on one's reading, this code may actually be a
violation of rule 2.1 (unreachable), which we did accept:

"Code is unreachable if, ..., there is no combination of program inputs
  that can cause it to be executed."

Otoh it's "only" __init code.

Signed-off-by: Jan Beulich <jbeul...@suse.com>

Reviewed-by: Jason Andryuk <jason.andr...@amd.com>

Reply via email to