Start putting together ACPI for guests.
[akaros.git] / user / vmm / decode.c
index d717878..4aa0420 100644 (file)
@@ -100,6 +100,10 @@ static int target(void *insn, int *store)
        case 0x8b:
        case 0x81:
                *store = !(*byte & 2);
+               break;
+       default:
+               fprintf(stderr, "%s: Can't happen\n", __func__);
+               break;
        }
        return s;
 }