ACS test_c021.c only check HAFDBS[3:0] = 0b0010

[hensonwang]

Hi，

I saw ACS test_c021.c only checked ID_AA64MMFR1_EL1.HAFDBS[3:0] = 0b0010 as below:
/* Read ID_AA64MMFR1_EL1.HAFDBS[3:0] = 0b0010 For Hardware update supported */
data = VAL_EXTRACT_BITS(val_pe_reg_read(ID_AA64MMFR1_EL1), 0, 3);
if (data != 2)
val_set_status(index, RESULT_FAIL(TEST_NUM, 01));
else
val_set_status(index, RESULT_PASS(TEST_NUM, 01));
}

Do you plan to add ID_AA64MMFR1_EL1.HAFDBS[3:0] = 0b0011 to check if PE support dirty bit update + HAFT Table AF update which added in ARM V9.4?

Thanks!