On Fri, Jan 14, 2022, Mark Rutland wrote: > I'd like to keep this somewhat orthogonal to the x86 changes (e.g. as other > architectures will need backports to stable at least for the RCU bug fix), so > I'd rather use a name that isn't immediately coupled with x86 changes. Ah, gotcha. > Does the guest_context_{enter,exit}_irqoff() naming above work for you? Yep, thanks!