Lines Matching refs:current_vcpu
49 static vcpuid_t current_vcpu; variable
69 rc = xg_regs_write(XG_GPRS, current_vcpu, &gregs, guest_bitness); in gx_write_guest_regs()
88 rc = xg_regs_read(XG_GPRS, current_vcpu, &gregs, guest_bitness); in gx_read_guest_regs()
183 current_vcpu = vcpu; in process_H_request()
271 xg_step(current_vcpu, guest_bitness); in process_v_cont_request()
408 if ((current_vcpu=xg_resume_n_wait(guest_bitness)) == -1) { in process_c_request()
409 current_vcpu = 0; /* default vcpu */ in process_c_request()
414 prepare_stop_reply(sig, remote_buf, current_vcpu); in process_c_request()
465 XGTRC("E:%s curvcpu:%d\n", remote_buf, current_vcpu); in process_remote_request()
495 assert(current_vcpu != -1); in process_remote_request()
501 assert(current_vcpu != -1); in process_remote_request()
529 if (xg_step(current_vcpu, guest_bitness) != 0) { in process_remote_request()
533 current_vcpu); in process_remote_request()
574 XGTRC("X:%s curvcpu:%d\n", remote_buf, current_vcpu); in process_remote_request()