vcpu_fp.c revision 0a86512d
1