Re: [PATCH] xen/arm: Avoid to open-code the relinquish state machine

2020-04-21 Thread Stefano Stabellini
On Sun, 19 Apr 2020, Julien Grall wrote: > In commit 0dfffe01d5 "x86: Improve the efficiency of > domain_relinquish_resources()", the x86 version of the function has been > reworked to avoid open-coding the state machine and also add more > documentation. > > Bring the Arm version on part with x86

[PATCH] xen/arm: Avoid to open-code the relinquish state machine

2020-04-19 Thread Julien Grall
In commit 0dfffe01d5 "x86: Improve the efficiency of domain_relinquish_resources()", the x86 version of the function has been reworked to avoid open-coding the state machine and also add more documentation. Bring the Arm version on part with x86 by introducing a documented PROGRESS() macro to avoi