]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65f7ed7) | patch
Remove dead grub_efi_mm_fini.
authorVladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Sat, 16 Oct 2010 15:50:48 +0000 (17:50 +0200)
committerVladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Sat, 16 Oct 2010 15:50:48 +0000 (17:50 +0200)
commitfbfbeb394f45984974dcf97b11141b166b8325c1
tree94663649ef7ef72ca671c9b231f16c44a5ae4710tree
parent65f7ed7c9a61c2bcda5c9845db23b5c06c47a093commit | diff
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.
ChangeLog diff | blob | blame | history
grub-core/kern/efi/mm.c diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/grub.git