On 30.09.2020 12:40, Roger Pau Monne wrote: > EOIs are always executed in guest vCPU context, so there's no reason to > pass a domain parameter around as can be fetched from current->domain.
FAOD whether this is correct depends on what adjustments get made to patch 1. Jan
