Re: [PATCH 6/7] domain: use vcpu-specific flag aliases consistently