vcpu.c revision 6bb2e00e
1