vcpu.c revision 0f4b8257
1