545 	return address_mask(ctxt, reg_read(ctxt, reg));  in register_address()
1217 		unsigned bx = reg_read(ctxt, VCPU_REGS_RBX);  in decode_modrm()
1218 		unsigned bp = reg_read(ctxt, VCPU_REGS_RBP);  in decode_modrm()
1219 		unsigned si = reg_read(ctxt, VCPU_REGS_RSI);  in decode_modrm()
1220 		unsigned di = reg_read(ctxt, VCPU_REGS_RDI);  in decode_modrm()
1277 				modrm_ea += reg_read(ctxt, base_reg);  in decode_modrm()
1285 				modrm_ea += reg_read(ctxt, index_reg) << scale;  in decode_modrm()
1292 			modrm_ea += reg_read(ctxt, base_reg);  in decode_modrm()
1433 			address_mask(ctxt, reg_read(ctxt, VCPU_REGS_RCX)) : 1;  in pio_in_emulated()
1435 			offset_in_page(reg_read(ctxt, VCPU_REGS_RDI)) :  in pio_in_emulated()
1436 			PAGE_SIZE - offset_in_page(reg_read(ctxt, VCPU_REGS_RDI));  in pio_in_emulated()
1827 	addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt);  in push()
1846 	addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt);  in emulate_pop()
1921 	rbp = reg_read(ctxt, VCPU_REGS_RBP);  in em_enter()
1925 	assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP),  in em_enter()
1928 		      reg_read(ctxt, VCPU_REGS_RSP) - frame_size,  in em_enter()
1935 	assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP),  in em_leave()
1974 	unsigned long old_esp = reg_read(ctxt, VCPU_REGS_RSP);  in em_pusha()
1980 		(ctxt->src.val = old_esp) : (ctxt->src.val = reg_read(ctxt, reg));  in em_pusha()
2214 	if (((u32) (old >> 0) != (u32) reg_read(ctxt, VCPU_REGS_RAX)) ||  in em_cmpxchg8b()
2215 	    ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) {  in em_cmpxchg8b()
2220 		ctxt->dst.val64 = ((u64)reg_read(ctxt, VCPU_REGS_RCX) << 32) |  in em_cmpxchg8b()
2221 			(u32) reg_read(ctxt, VCPU_REGS_RBX);  in em_cmpxchg8b()
2281 	ctxt->dst.val = reg_read(ctxt, VCPU_REGS_RAX);  in em_cmpxchg()
2530 	rcx = reg_read(ctxt, VCPU_REGS_RCX);  in em_sysexit()
2531 	rdx = reg_read(ctxt, VCPU_REGS_RDX);  in em_sysexit()
2669 	tss->ax = reg_read(ctxt, VCPU_REGS_RAX);  in save_state_to_tss16()
2670 	tss->cx = reg_read(ctxt, VCPU_REGS_RCX);  in save_state_to_tss16()
2671 	tss->dx = reg_read(ctxt, VCPU_REGS_RDX);  in save_state_to_tss16()
2672 	tss->bx = reg_read(ctxt, VCPU_REGS_RBX);  in save_state_to_tss16()
2673 	tss->sp = reg_read(ctxt, VCPU_REGS_RSP);  in save_state_to_tss16()
2674 	tss->bp = reg_read(ctxt, VCPU_REGS_RBP);  in save_state_to_tss16()
2675 	tss->si = reg_read(ctxt, VCPU_REGS_RSI);  in save_state_to_tss16()
2676 	tss->di = reg_read(ctxt, VCPU_REGS_RDI);  in save_state_to_tss16()
2782 	tss->eax = reg_read(ctxt, VCPU_REGS_RAX);  in save_state_to_tss32()
2783 	tss->ecx = reg_read(ctxt, VCPU_REGS_RCX);  in save_state_to_tss32()
2784 	tss->edx = reg_read(ctxt, VCPU_REGS_RDX);  in save_state_to_tss32()
2785 	tss->ebx = reg_read(ctxt, VCPU_REGS_RBX);  in save_state_to_tss32()
2786 	tss->esp = reg_read(ctxt, VCPU_REGS_RSP);  in save_state_to_tss32()
2787 	tss->ebp = reg_read(ctxt, VCPU_REGS_RBP);  in save_state_to_tss32()
2788 	tss->esi = reg_read(ctxt, VCPU_REGS_RSI);  in save_state_to_tss32()
2789 	tss->edi = reg_read(ctxt, VCPU_REGS_RDI);  in save_state_to_tss32()
3252 	if (ctxt->ops->read_pmc(ctxt, reg_read(ctxt, VCPU_REGS_RCX), &pmc))  in em_rdpmc()
3342 	u64 msr_index = reg_read(ctxt, VCPU_REGS_RCX);  in em_wrmsr()
3346 	msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)  in em_wrmsr()
3347 		| ((u64)reg_read(ctxt, VCPU_REGS_RDX) << 32);  in em_wrmsr()
3358 	u64 msr_index = reg_read(ctxt, VCPU_REGS_RCX);  in em_rdmsr()
3567 	if ((address_mask(ctxt, reg_read(ctxt, VCPU_REGS_RCX)) != 0) &&  in em_loop()
3578 	if (address_mask(ctxt, reg_read(ctxt, VCPU_REGS_RCX)) == 0)  in em_jcxz()
3632 	eax = reg_read(ctxt, VCPU_REGS_RAX);  in em_cpuid()
3633 	ecx = reg_read(ctxt, VCPU_REGS_RCX);  in em_cpuid()
3836 	eax = reg_read(ctxt, VCPU_REGS_RAX);  in em_xsetbv()
3837 	edx = reg_read(ctxt, VCPU_REGS_RDX);  in em_xsetbv()
3838 	ecx = reg_read(ctxt, VCPU_REGS_RCX);  in em_xsetbv()
3925 	u64 rax = reg_read(ctxt, VCPU_REGS_RAX);  in check_svme_pa()
3947 	u64 rcx = reg_read(ctxt, VCPU_REGS_RCX);  in check_rdpmc()
4661 		op->val = reg_read(ctxt, VCPU_REGS_RCX) & 0xff;  in decode_operand()
4711 				reg_read(ctxt, VCPU_REGS_RBX) +  in decode_operand()
4712 				(reg_read(ctxt, VCPU_REGS_RAX) & 0xff));  in decode_operand()
5228 			if (address_mask(ctxt, reg_read(ctxt, VCPU_REGS_RCX)) == 0) {  in x86_emulate_insn()
5401 			if ((r->end != 0 || reg_read(ctxt, VCPU_REGS_RCX) & 0x3ff) &&  in x86_emulate_insn()