Edit: cpu_vx.c