Update vcpu.c