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.

diff --git a/src/boot/efi/util.h b/src/boot/efi/util.h
index 0c477fccf13daaab8dd3c724fb1cd4da863fb7f6..9e8db3e7c9c8d91c099abbd140875d6b54477a6d 100644 (file)
--- 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)