From e88921b86ac7d24f3094b681b212174c2b74e067 Mon Sep 17 00:00:00 2001 From: "Justin C. Miller" Date: Thu, 21 Jan 2021 18:43:07 -0800 Subject: [PATCH] Implement boot_services::free_pages and free_pool --- uefi/boot_services.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/uefi/boot_services.h b/uefi/boot_services.h index 8130ad6..363a9bb 100644 --- a/uefi/boot_services.h +++ b/uefi/boot_services.h @@ -14,8 +14,10 @@ namespace uefi { namespace bs_impl { using allocate_pages = status (*)(allocate_type, memory_type, size_t, void**); + using free_pages = status (*)(void*, size_t); using get_memory_map = status (*)(size_t*, memory_descriptor*, size_t*, size_t*, uint32_t*); using allocate_pool = status (*)(memory_type, uint64_t, void**); + using free_pool = status (*)(void*); using handle_protocol = status (*)(handle, const guid*, void**); using create_event = status (*)(evt, tpl, event_notify, void*, event*); using exit_boot_services = status (*)(handle, size_t); @@ -35,10 +37,10 @@ struct boot_services { // Memory Services bs_impl::allocate_pages allocate_pages; - void *free_pages; + bs_impl::free_pages free_pages; bs_impl::get_memory_map get_memory_map; bs_impl::allocate_pool allocate_pool; - void *free_pool; + bs_impl::free_pool free_pool; // Event & Timer Services bs_impl::create_event create_event;