Re: [Xen-devel] [PATCH v3.1 04/15] xen/x86: assert that local_events_need_delivery is not called by the idle domain

2016-10-31 Thread Jan Beulich
>>> On 29.10.16 at 10:59, wrote: > It doesn't make sense since the idle domain doesn't receive any events. This > is relevant in order to be sure that hypercall_preempt_check is not called > by the idle domain, which would happen previously when calling >

[Xen-devel] [PATCH v3.1 04/15] xen/x86: assert that local_events_need_delivery is not called by the idle domain

2016-10-29 Thread Roger Pau Monne
It doesn't make sense since the idle domain doesn't receive any events. This is relevant in order to be sure that hypercall_preempt_check is not called by the idle domain, which would happen previously when calling {hap/sh}_set_allocation during domain 0 creation. Signed-off-by: Roger Pau Monné