On Fri, Aug 28, 2026 at 09:00:57AM +0200, Jan Beulich wrote: > The L2H, L3, and L4 forms only have GUEST_PAGING_LEVELS=4 call sites, i.e. > their 2- and 3-level forms are unreachable, violating Misra rule 2.1. The > L2H form additionally is unused (call site DCE-d) with PV32=n. > > Signed-off-by: Jan Beulich <[email protected]>
Acked-by: Roger Pau Monné <[email protected]> Looks like a net win in the number of ifdefs. Thanks, Roger.
