Hi Jan, On 21/04/2020 15:39, Jan Beulich wrote:
--- a/xen/include/asm-arm/domain.h +++ b/xen/include/asm-arm/domain.h @@ -269,6 +269,8 @@ static inline void free_vcpu_guest_contestatic inline void arch_vcpu_block(struct vcpu *v) {} +#define arch_vm_assist_valid_mask(d) (1UL << VMASST_TYPE_runstate_update_flag)
NIT: Do we want to evaluate d? Reviewed-by: Julien Grall <jgr...@amazon.com> Cheers, -- Julien Grall