On 11/12/25 10:17, Jim MacArthur wrote:
+    asm("mrs %[x1], " ID_AA64MMFR4_EL1 "\n\t"
+        : [x1] "=r" (idreg));
+    if ((idreg & 0xF00) == 0x100) {

This should be != 0, just like in isar_feature_aa64_asid2.


r~

Reply via email to