vcpu_exit.c revision 06723e12
1