Searched refs:regs_avail (Results 1 – 3 of 3) sorted by relevance
70 return test_bit(reg, (unsigned long *)&vcpu->arch.regs_avail); in BUILD_KVM_GPR_ACCESSORS()84 __set_bit(reg, (unsigned long *)&vcpu->arch.regs_avail); in kvm_register_mark_available()91 __set_bit(reg, (unsigned long *)&vcpu->arch.regs_avail); in kvm_register_mark_dirty()105 return arch___test_and_set_bit(reg, (unsigned long *)&vcpu->arch.regs_avail); in kvm_register_test_and_mark_available()
790 u32 regs_avail; member
1105 vcpu->arch.regs_avail &= TDX_REGS_AVAIL_SET; in tdx_vcpu_run()