Hi Fuad, > > The series might be missing an entry for ID_AA64MMFR0_EL1, Debug > > Communications Channel registers, ID_AA64MMFR0_FGT -> MDCR_EL2_TDCC. Looking at Arm ARM, it appears any of the registers that can be trapped by MDCR_EL2_TDCC are present even when FEAT_FGT is not implemented (I understand MDCR_EL2_TDCC is available when FEAT_FGT is implemented though). So, this is not something that the framework is trying to address. Thanks, Reiji > > I will add them in v5 series. > Thank you so much for all the review comments! > > Thanks, > Reiji > > > > > > Cheers, > > /fuad _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
