vcpu_fp.c revision 4054eee9
1