Searched refs:raz_invariant_reg_ids (Results 1 – 1 of 1) sorted by relevance
114 static uint64_t raz_invariant_reg_ids[] = { variable125 for (i = 0; i < ARRAY_SIZE(raz_invariant_reg_ids); i++) { in test_user_raz_invariant()126 uint64_t reg_id = raz_invariant_reg_ids[i]; in test_user_raz_invariant()