Re: [Tee-dev] [PATCH v5 01/10] xen/arm: add generic TEE mediator framework

On 21/05/2019 22:25, Volodymyr Babchuk wrote:

diff --git a/xen/include/public/arch-arm.h b/xen/include/public/arch-arm.h index eb424e8286..5e938a91cc 100644 --- a/xen/include/public/arch-arm.h +++ b/xen/include/public/arch-arm.h @@ -304,10 +304,13 @@ DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t); #define XEN_DOMCTL_CONFIG_GIC_NATIVE 0 #define XEN_DOMCTL_CONFIG_GIC_V2 1 #define XEN_DOMCTL_CONFIG_GIC_V3 2

I forgot to mention the newline here. This would help to differentiate the two set of define.

I can add this one on commit.

Cheers,