On Sat, Sep 21, 2013 at 01:39:29PM +0200, Borislav Petkov wrote: > -void __init efi_call_phys_prelog(void) > +/* > + * We allocate runtime services regions top-down, starting from -4G, i.e. > + * 0xffff_ffff_0000_0000 and limit EFI VA mapping space to 64G. > + */ > +static u64 efi_va = -4 * (1UL << 30); > +#define EFI_VA_END (-68 * (1UL << 30)) Note to self: add this range to Documentation/x86/x86_64/mm.txt -- Regards/Gruss, Boris. Sent from a fat crate under my desk. Formatting is fine. -- -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html