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=ca1fdeb0f9bb1d7126f983a6983d199c2ef122e3;hp=0000000000000000000000000000000000000000;hb=626595465a2c6987606a6bc697df65130ad8c2d3