Leif Lindholm 16c8f78513 efi: mm: make MAX_USABLE_ADDRESS platform-specific		2013-12-10 18:05:29 +00:00
..
efi	efi: mm: make MAX_USABLE_ADDRESS platform-specific	2013-12-10 18:05:29 +00:00
kernel.h	…
reloc.h	Fix ia64-efi image generation on big-endian machines. Deduplicate	2013-04-09 19:19:19 +02:00
setjmp.h	* include/grub/setjmp.h: Define RETURNS_TWICE. Keep it empty for	2013-10-18 16:38:36 +02:00
time.h	…
types.h	…