diff -r a00cc97b392a xen/arch/x86/hvm/svm/svm.c
--- a/xen/arch/x86/hvm/svm/svm.c	Wed Sep 12 09:43:33 2007 +0100
+++ b/xen/arch/x86/hvm/svm/svm.c	Thu Sep 13 07:30:16 2007 -0500
@@ -948,9 +948,12 @@ static void svm_npt_detect(void)
 
     if ( !(edx & 1) && opt_hap_enabled )
     {
-        printk("SVM: Nested paging is not supported by this CPU.\n");
+        printk("AMD SVM: Nested paging is not supported by this CPU.\n");
         opt_hap_enabled = 0;
     }
+    
+    if ( opt_hap_enabled )
+        printk("AMD SVM: Nested paging enabled\n");
 }
 
 int start_svm(struct cpuinfo_x86 *c)
diff -r a00cc97b392a xen/arch/x86/mm/paging.c
--- a/xen/arch/x86/mm/paging.c	Wed Sep 12 09:43:33 2007 +0100
+++ b/xen/arch/x86/mm/paging.c	Thu Sep 13 06:44:02 2007 -0500
@@ -30,7 +30,7 @@
 
 /* Xen command-line option to enable hardware-assisted paging */
 int opt_hap_enabled;
-boolean_param("hap", opt_hap_enabled);
+integer_param("hap", opt_hap_enabled);
 
 /* Printouts */
 #define PAGING_PRINTK(_f, _a...)                                     \