xen: add configurable max domain size
[linux-3.10.git] / arch / x86 / xen / vdso.h
2007-10-11 Thomas Gleixner i386: move xen