diff -r 68f2abfcdf84 tools/libxc/xc_cpuid_x86.c
--- a/tools/libxc/xc_cpuid_x86.c	Wed Sep 17 13:32:27 2008 +0100
+++ b/tools/libxc/xc_cpuid_x86.c	Wed Sep 17 16:13:09 2008 +0100
@@ -210,12 +210,13 @@ static void xc_cpuid_hvm_policy(
         regs[1] = regs[2] = regs[3] = 0;
         break;
 
-    case 0x00000002:
-    case 0x00000004:
-    case 0x80000002:
-    case 0x80000003:
-    case 0x80000004:
-    case 0x80000006:
+    case 0x00000002: // Intel cache info
+    case 0x00000004: // Intel cache info
+    case 0x80000002: // Processor name string 
+    case 0x80000003: // ... continued
+    case 0x80000004: // ... continued
+    case 0x80000005: // AMD L1 cache/TLB info
+    case 0x80000006: // AMD L2/3 cache/TLB info
         break;
 
     default: