X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fscripts%2Fgenerate_vmcs_serialization.pl;fp=palacios%2Fscripts%2Fgenerate_vmcs_serialization.pl;h=747e2c64a6748d6482d3921e9718a024355214e0;hp=ca1fdeb0f9bb1d7126f983a6983d199c2ef122e3;hb=ddc16b0737cf58f7aa90a69c6652cdf4090aec51;hpb=626595465a2c6987606a6bc697df65130ad8c2d3

diff --git a/palacios/scripts/generate_vmcs_serialization.pl b/palacios/scripts/generate_vmcs_serialization.pl
index ca1fdeb..747e2c6 100755
--- a/palacios/scripts/generate_vmcs_serialization.pl
+++ b/palacios/scripts/generate_vmcs_serialization.pl
@@ -9,7 +9,10 @@ $file=shift;
 open(HEADER,">$file.h");
 open(SOURCE,">$file.c");
 
-print HEADER "#ifndef $file\n#define $file\n#include <geekos/vmcs.h>\n";
+print HEADER "#ifndef $file\n";
+print HEADER "#define $file\n";
+print HEADER "#include <geekos/vmcs.h>\n";
+
 print SOURCE "#include <geekos/$file.h>\n";
 
 while (<STDIN>) {
@@ -28,10 +31,10 @@ sub GenSerUnserCode {
 
   print SOURCE <<END
 
-void    Set_$name(uint_t val) { VMCS_WRITE($name,val); } 
+void    Set_$name(uint_t val) { VMCS_WRITE($name,val); }
 uint_t  Get_$name() { uint_t rc; VMCS_READ($name,&rc); return rc; }
 
-void    SerialPrint_$name() { SerialPrint("$name = %x\\n", Get_$name()); }
+void    Print_$name() { PrintTrace("$name = %x\\n", Get_$name()); }
 
 END
 
@@ -41,7 +44,7 @@ END
 void    Set_$name(uint_t val);
 uint_t  Get_$name();
 
-void    SerialPrint_$name();
+void    Print_$name();
 
 END2
 
@@ -51,10 +54,10 @@ END2
 
 
 sub GenPrintAllCode  {
-  print SOURCE "void SerialPrint_VMCS_ALL() {\n";
+  print SOURCE "void PrintTrace_VMCS_ALL() {\n";
   while (my $name=shift) { 
-    print SOURCE "  SerialPrint_$name();\n";
+    print SOURCE "  PrintTrace_$name();\n";
   }
   print SOURCE "}\n";
-  print HEADER "void SerialPrint_VMCS_ALL();\n";
+  print HEADER "void PrintTrace_VMCS_ALL();\n";
 }