>>> On 21.11.16 at 22:00, wrote:
> --- a/xen/arch/x86/domain.c
> +++ b/xen/arch/x86/domain.c
> @@ -509,6 +509,22 @@ void vcpu_destroy(struct vcpu *v)
> xfree(v->arch.pv_vcpu.trap_ctxt);
> }
>
> +int arch_update_avail_vcpus(struct domain *d)
I don't see a way for failure here, so perha
.. and update GPE0 registers.
Signed-off-by: Boris Ostrovsky
---
CC: Stefano Stabellini
CC: Julien Grall
---
Changes in v3:
* Add per-arch arch_update_avail_vcpus() (nop for ARM)
* send_guest_global_virq() is updated to deal with
offlined VCPU0, made non-static.
xen/arch/arm/domain.c |
