Re: [patch 3/3] x86: kvm guest side support for KVM_HC_RT_PRIO hypercall
> I think you are missing the following point: > > "vcpu0 can be interrupted when its not in a spinlock protected section, > otherwise it can't." > > So you _have_ to communicate to the host when the guest enters/leaves a > critical section.