212 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.pc), &core.regs.pc);  in vcpu_arch_dump()
213 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.ra), &core.regs.ra);  in vcpu_arch_dump()
214 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.sp), &core.regs.sp);  in vcpu_arch_dump()
215 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.gp), &core.regs.gp);  in vcpu_arch_dump()
216 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.tp), &core.regs.tp);  in vcpu_arch_dump()
217 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.t0), &core.regs.t0);  in vcpu_arch_dump()
218 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.t1), &core.regs.t1);  in vcpu_arch_dump()
219 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.t2), &core.regs.t2);  in vcpu_arch_dump()
220 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s0), &core.regs.s0);  in vcpu_arch_dump()
221 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s1), &core.regs.s1);  in vcpu_arch_dump()
222 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.a0), &core.regs.a0);  in vcpu_arch_dump()
223 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.a1), &core.regs.a1);  in vcpu_arch_dump()
224 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.a2), &core.regs.a2);  in vcpu_arch_dump()
225 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.a3), &core.regs.a3);  in vcpu_arch_dump()
226 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.a4), &core.regs.a4);  in vcpu_arch_dump()
227 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.a5), &core.regs.a5);  in vcpu_arch_dump()
228 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.a6), &core.regs.a6);  in vcpu_arch_dump()
229 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.a7), &core.regs.a7);  in vcpu_arch_dump()
230 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s2), &core.regs.s2);  in vcpu_arch_dump()
231 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s3), &core.regs.s3);  in vcpu_arch_dump()
232 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s4), &core.regs.s4);  in vcpu_arch_dump()
233 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s5), &core.regs.s5);  in vcpu_arch_dump()
234 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s6), &core.regs.s6);  in vcpu_arch_dump()
235 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s7), &core.regs.s7);  in vcpu_arch_dump()
236 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s8), &core.regs.s8);  in vcpu_arch_dump()
237 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s9), &core.regs.s9);  in vcpu_arch_dump()
238 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s10), &core.regs.s10);  in vcpu_arch_dump()
239 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.s11), &core.regs.s11);  in vcpu_arch_dump()
240 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.t3), &core.regs.t3);  in vcpu_arch_dump()
241 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.t4), &core.regs.t4);  in vcpu_arch_dump()
242 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.t5), &core.regs.t5);  in vcpu_arch_dump()
243 	vcpu_get_reg(vcpu, RISCV_CORE_REG(regs.t6), &core.regs.t6);  in vcpu_arch_dump()
249 		core.regs.pc, core.regs.ra, core.regs.sp, core.regs.gp);  in vcpu_arch_dump()
252 		core.regs.tp, core.regs.t0, core.regs.t1, core.regs.t2);  in vcpu_arch_dump()
255 		core.regs.s0, core.regs.s1, core.regs.a0, core.regs.a1);  in vcpu_arch_dump()
258 		core.regs.a2, core.regs.a3, core.regs.a4, core.regs.a5);  in vcpu_arch_dump()
261 		core.regs.a6, core.regs.a7, core.regs.s2, core.regs.s3);  in vcpu_arch_dump()
264 		core.regs.s4, core.regs.s5, core.regs.s6, core.regs.s7);  in vcpu_arch_dump()
267 		core.regs.s8, core.regs.s9, core.regs.s10, core.regs.s11);  in vcpu_arch_dump()
270 		core.regs.t3, core.regs.t4, core.regs.t5, core.regs.t6);  in vcpu_arch_dump()
311 	vcpu_set_reg(vcpu, RISCV_CORE_REG(regs.gp), current_gp);  in vm_arch_vcpu_add()
314 	vcpu_set_reg(vcpu, RISCV_CORE_REG(regs.sp), stack_vaddr + stack_size);  in vm_arch_vcpu_add()
315 	vcpu_set_reg(vcpu, RISCV_CORE_REG(regs.pc), (unsigned long)guest_code);  in vm_arch_vcpu_add()
326 	uint64_t id = RISCV_CORE_REG(regs.a0);  in vcpu_args_set()
337 			id = RISCV_CORE_REG(regs.a0);  in vcpu_args_set()
340 			id = RISCV_CORE_REG(regs.a1);  in vcpu_args_set()
343 			id = RISCV_CORE_REG(regs.a2);  in vcpu_args_set()
346 			id = RISCV_CORE_REG(regs.a3);  in vcpu_args_set()
349 			id = RISCV_CORE_REG(regs.a4);  in vcpu_args_set()
352 			id = RISCV_CORE_REG(regs.a5);  in vcpu_args_set()
355 			id = RISCV_CORE_REG(regs.a6);  in vcpu_args_set()
358 			id = RISCV_CORE_REG(regs.a7);  in vcpu_args_set()