[PATCH 0/3 gnumach] vm_map and gsync changes

[Damien Zammit]

This patchset fixes two critical deadlocks when running with SMP:

The first one is isolated to patch 1 (vm_map), the second is a combination of
patch 2 and 3 (vm_map_lookup + gsync).

When applied, these patches allow slave_pset to be entered
and gnumach source code to be compiled on 7 cores without faults,
using:
        ./smp /bin/bash
        make -j7

Thanks,
Damien