vkernel32 - Change VM_MAX_USER_ADDRESS to match the real kernel.
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Wed, 4 Sep 2013 10:13:45 +0000 (12:13 +0200)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Wed, 4 Sep 2013 10:36:11 +0000 (12:36 +0200)
commitf97bcf5edfcccdf7a48e9a64c834b6955503301f
treebac815bb9f9a1d170d433caabb26eae9fe42aa40
parent1eb61d6bff840dc3e765e433d475f7908de1422a
vkernel32 - Change VM_MAX_USER_ADDRESS to match the real kernel.

Pointed-out-by: dillon
sys/platform/vkernel/include/vmparam.h