vcpu.c revision afd5dde9
1