Re: [PATCH RFC 10/10] common: convert vCPU info area registration

2022-12-20 Thread Julien Grall
Hi Jan, On 19/12/2022 15:01, Jan Beulich wrote: On 17.12.2022 16:53, Julien Grall wrote: On 19/10/2022 08:45, Jan Beulich wrote: Switch to using map_guest_area(). Noteworthy differences from map_vcpu_info(): - remote vCPU-s are paused rather than checked for being down (which in principle

Re: [PATCH RFC 10/10] common: convert vCPU info area registration

2022-12-19 Thread Jan Beulich
On 17.12.2022 16:53, Julien Grall wrote: > On 19/10/2022 08:45, Jan Beulich wrote: >> Switch to using map_guest_area(). Noteworthy differences from >> map_vcpu_info(): >> - remote vCPU-s are paused rather than checked for being down (which in >>principle can change right after the check), >> -

Re: [PATCH RFC 10/10] common: convert vCPU info area registration

2022-12-17 Thread Julien Grall
Hi, On 19/10/2022 08:45, Jan Beulich wrote: Switch to using map_guest_area(). Noteworthy differences from map_vcpu_info(): - remote vCPU-s are paused rather than checked for being down (which in principle can change right after the check), - the domain lock is taken for a much smaller region,

[PATCH RFC 10/10] common: convert vCPU info area registration

2022-10-19 Thread Jan Beulich
Switch to using map_guest_area(). Noteworthy differences from map_vcpu_info(): - remote vCPU-s are paused rather than checked for being down (which in principle can change right after the check), - the domain lock is taken for a much smaller region, - areas could now be registered more than once,