Searched refs:VCPU_REGS_RBX (Results 1 – 4 of 4) sorted by relevance
1010 save->rbx = svm->vcpu.arch.regs[VCPU_REGS_RBX]; in sev_es_sync_vmsa()3415 ghcb_set_rbx(ghcb, vcpu->arch.regs[VCPU_REGS_RBX]); in sev_es_sync_to_ghcb()3444 vcpu->arch.regs[VCPU_REGS_RBX] = kvm_ghcb_get_rbx_if_valid(svm); in sev_es_sync_from_ghcb()4291 vcpu->arch.regs[VCPU_REGS_RBX] = vcpu->run->snp_req_certs.npages; in snp_complete_req_certs()4337 data_npages = vcpu->arch.regs[VCPU_REGS_RBX]; in snp_handle_ext_guest_req()4408 cpuid_value = vcpu->arch.regs[VCPU_REGS_RBX]; in sev_handle_vmgexit_msr_protocol()
3599 vcpu->arch.regs[VCPU_REGS_RBX]); in dump_vmcb()
151 VCPU_REGS_RBX = __VCPU_REGS_RBX, enumerator
1016 BIT(VCPU_REGS_RBX) | \