Add a missing break in the 64 bit vkernel, too.
authorSascha Wildner <saw@online.de>
Sun, 16 May 2010 18:03:10 +0000 (20:03 +0200)
committerSascha Wildner <saw@online.de>
Sun, 16 May 2010 18:03:30 +0000 (20:03 +0200)
sys/platform/vkernel64/x86_64/db_trace.c

index 90c11e7..4882cd9 100644 (file)
@@ -513,6 +513,7 @@ kamd64_set_watch(int watchnum, unsigned int watchaddr, int size, int access,
                break;
        case 4:
                mask = 0x03 << 2;
                break;
        case 4:
                mask = 0x03 << 2;
+               break;
        case 8:
                mask = 0x02 << 2;
                break;
        case 8:
                mask = 0x02 << 2;
                break;