2882   COMPARE_MACRO(Dmb(FullSystem, BarrierAll), "dmb sy");  in TEST()
2883   COMPARE_MACRO(Dmb(FullSystem, BarrierReads), "dmb ld");  in TEST()
2884   COMPARE_MACRO(Dmb(FullSystem, BarrierWrites), "dmb st");  in TEST()
2886   COMPARE_MACRO(Dmb(InnerShareable, BarrierAll), "dmb ish");  in TEST()
2887   COMPARE_MACRO(Dmb(InnerShareable, BarrierReads), "dmb ishld");  in TEST()
2888   COMPARE_MACRO(Dmb(InnerShareable, BarrierWrites), "dmb ishst");  in TEST()
2890   COMPARE_MACRO(Dmb(NonShareable, BarrierAll), "dmb nsh");  in TEST()
2891   COMPARE_MACRO(Dmb(NonShareable, BarrierReads), "dmb nshld");  in TEST()
2892   COMPARE_MACRO(Dmb(NonShareable, BarrierWrites), "dmb nshst");  in TEST()
2894   COMPARE_MACRO(Dmb(OuterShareable, BarrierAll), "dmb osh");  in TEST()
2895   COMPARE_MACRO(Dmb(OuterShareable, BarrierReads), "dmb oshld");  in TEST()
2896   COMPARE_MACRO(Dmb(OuterShareable, BarrierWrites), "dmb oshst");  in TEST()
2898   COMPARE_MACRO(Dmb(FullSystem, BarrierOther), "dmb sy (0b1100)");  in TEST()
2899   COMPARE_MACRO(Dmb(InnerShareable, BarrierOther), "dmb sy (0b1000)");  in TEST()
2900   COMPARE_MACRO(Dmb(NonShareable, BarrierOther), "dmb sy (0b0100)");  in TEST()
2901   COMPARE_MACRO(Dmb(OuterShareable, BarrierOther), "dmb sy (0b0000)");  in TEST()