vcpu.c revision 118e10cd
1