vcpu.cpp revision 7207d28c
1