vcpu.h revision a047e8d8
1