Searched refs:mmfr2 (Results 1 – 1 of 1) sorted by relevance
104 u64 mmfr2; in main() local109 mmfr2 = vcpu_get_reg(vcpu, KVM_ARM64_SYS_REG(SYS_ID_AA64MMFR2_EL1)); in main()110 __TEST_REQUIRE(FIELD_GET(ID_AA64MMFR2_EL1_IDS, mmfr2) > 0, in main()