From 2d1ac308c55739221ccd4d50fcdf279151831af8 Mon Sep 17 00:00:00 2001
From: Jan Janssen <medhefgo@web.de>
Date: Thu, 13 Jan 2022 13:47:39 +0100
Subject: [PATCH] boot: Use FreePool from boot services directly

This should hopefully allow the compiler to optimize this a bit even
when gnu-efi is not compiled with LTO.
---
 src/boot/efi/util.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/boot/efi/util.h b/src/boot/efi/util.h
index 0c477fccf13..9e8db3e7c9c 100644
--- a/src/boot/efi/util.h
+++ b/src/boot/efi/util.h
@@ -79,7 +79,7 @@ static inline void free_poolp(void *p) {
         if (!q)
                 return;
 
-        FreePool(q);
+        (void) BS->FreePool(q);
 }
 
 #define _cleanup_freepool_ _cleanup_(free_poolp)
-- 
2.47.3