view .hg-to-bk @ 15225:ca62b4b4f762

LINUX/x86_64: Cleanup 15129:a40967e39652 by using __pgd rather than
abusing mk_kernel_pgd.

Also set the user bit on the vsyscall entry in the user pgd.

Both changes suggested by Jan Beulich.

Signed-off-by: Ian Campbell <ian.campbell@xensource.com>
author Ian Campbell <ian.campbell@xensource.com>
date Fri May 25 11:24:02 2007 +0100 (2007-05-25)
parents f3123052268f
children c6c0f98bf7d3 ba107a7380bc
line source
1 #!/bin/sh
2 exit 0