On 2/22/24 11:09, Yosry Ahmed wrote: > The first argument of switch_mm_irqs_off() is unused by the x86 > implementation. Make sure that x86 code never passes a non-NULL value to > make this clear. Update the only non violating caller, switch_mm(). Acked-by: Dave Hansen <dave.hansen@xxxxxxxxx>