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