Searched refs:CPU_REG_RBX (Results 1 – 6 of 6) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | optee.c | 68 rbx = vcpu_get_gpreg(vcpu, CPU_REG_RBX); in tee_switch_to_ree()
82 vcpu_set_gpreg(ree_vcpu, CPU_REG_RBX, rbx); in tee_switch_to_ree()
127 rbx = vcpu_get_gpreg(vcpu, CPU_REG_RBX); in ree_switch_to_tee()
137 vcpu_set_gpreg(tee_vcpu, CPU_REG_RBX, rbx); in ree_switch_to_tee()
|
| A D | vmexit.c | 360 ebx = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RBX); in cpuid_vmexit_handler()
366 vcpu_set_gpreg(vcpu, CPU_REG_RBX, (uint64_t)ebx); in cpuid_vmexit_handler()
|
| /hypervisor/debug/ |
| A D | dump.c | 91 vcpu_get_gpreg(vcpu, CPU_REG_RBX), in dump_guest_reg()
|
| A D | shell.c | 894 vcpu_get_gpreg(vcpu, CPU_REG_RBX), in dump_vcpu_reg()
|
| /hypervisor/boot/guest/ |
| A D | elf_loader.c | 335 vcpu_set_gpreg(vcpu, CPU_REG_RBX, load_params_gpa + in elf_loader()
|
| /hypervisor/include/arch/x86/asm/ |
| A D | cpu.h | 225 CPU_REG_RBX, enumerator
|
Completed in 12 milliseconds