Searched refs:reg_id (Results 1 – 2 of 2) sorted by relevance
97 uint64_t reg_id = raz_wi_reg_ids[i]; in test_user_raz_wi() local100 val = vcpu_get_reg(vcpu, reg_id); in test_user_raz_wi()107 vcpu_set_reg(vcpu, reg_id, BAD_ID_REG_VAL); in test_user_raz_wi()109 val = vcpu_get_reg(vcpu, reg_id); in test_user_raz_wi()126 uint64_t reg_id = raz_invariant_reg_ids[i]; in test_user_raz_invariant() local129 val = vcpu_get_reg(vcpu, reg_id); in test_user_raz_invariant()132 r = __vcpu_set_reg(vcpu, reg_id, BAD_ID_REG_VAL); in test_user_raz_invariant()136 val = vcpu_get_reg(vcpu, reg_id); in test_user_raz_invariant()
435 uint32_t reg_id = test_regs[i].reg; in test_vm_ftr_id_regs() local436 uint64_t reg = KVM_ARM64_SYS_REG(reg_id); in test_vm_ftr_id_regs()440 idx = encoding_to_range_idx(reg_id); in test_vm_ftr_id_regs()444 if (aarch64_only && sys_reg_CRm(reg_id) < 4) { in test_vm_ftr_id_regs()
Completed in 6 milliseconds