Re: [PATCH v11 06/12] x86/mm: use INVLPGB for kernel TLB flushes

[Rik van Riel <riel@xxxxxxxxxxx>]

On Sat, 2025-02-15 at 02:08 +0000, Yosry Ahmed wrote:
> 
> So I think what Dave wants (and I agree) is:
> 	if (!broadcast_kernel_range_flush(info))
> 		ipi_kernel_range_flush(info)
> 
> Where ipi_kernel_range_flush() contains old_thing1() and oldthing2().

I like this idea. I changed the code to add that
for the next version! Thank you.

-- 
All Rights Reversed.