Lines Matching refs:reg_val
558 uint64_t set_reg_id, clr_reg_id, reg_val;
575 vcpu_get_reg(vcpu, KVM_ARM64_SYS_REG(set_reg_id), ®_val);
576 TEST_ASSERT((reg_val & (~valid_counters_mask)) == 0,
578 KVM_ARM64_SYS_REG(set_reg_id), reg_val);
580 vcpu_get_reg(vcpu, KVM_ARM64_SYS_REG(clr_reg_id), ®_val);
581 TEST_ASSERT((reg_val & (~valid_counters_mask)) == 0,
583 KVM_ARM64_SYS_REG(clr_reg_id), reg_val);
592 vcpu_get_reg(vcpu, KVM_ARM64_SYS_REG(set_reg_id), ®_val);
593 TEST_ASSERT((reg_val & (~valid_counters_mask)) == 0,
595 KVM_ARM64_SYS_REG(set_reg_id), reg_val);
597 vcpu_get_reg(vcpu, KVM_ARM64_SYS_REG(clr_reg_id), ®_val);
598 TEST_ASSERT((reg_val & (~valid_counters_mask)) == 0,
600 KVM_ARM64_SYS_REG(clr_reg_id), reg_val);