Vladimir 'phcoder' Serbinenko fbfbeb394f Remove dead grub_efi_mm_fini. ... * grub-core/kern/efi/mm.c (allocated_page): Removed. (ALLOCATED_PAGES_SIZE): Likewise. (MAX_ALLOCATED_PAGES): Likewise. (allocated_pages): Likewise. (grub_efi_allocate_pages): Don't record allocated pages. (grub_efi_free_pages): Likewise. (grub_efi_mm_init): Likewise. (grub_efi_mm_fini): Removed.		2010-10-16 17:50:48 +02:00
..
efi.c	merge mainline into intwrap	2010-08-29 23:21:21 +02:00
init.c	* grub-core/kern/efi/init.c (grub_efi_set_prefix): If the prefix	2010-09-08 13:53:47 +01:00
mm.c	Remove dead grub_efi_mm_fini.	2010-10-16 17:50:48 +02:00