Re: [Xen-devel] [PATCH v2 16/19] xen: arm: Annotate registers trapped by MDCR_EL2.TPM and TPMCR

[Julien Grall]

Hi Ian,

NIT on the subject: I would write MDCR_EL2.{TPM,TPMCR} to show that 
TPMCR is a field of MDCR_EL2 and not a separate registers.

Regards,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel