*/
#include "driver_support.h"
+#include "lib.h"
#include "../include/refit_call_wrapper.h"
#ifdef __MAKEWITH_GNUEFI
}
}
- FreePool (OpenInfo);
+ MyFreePool (OpenInfo);
}
}
- FreePool (ProtocolGuidArray);
+ MyFreePool (ProtocolGuidArray);
}
}
return EFI_SUCCESS;
Error:
- if (*HandleType != NULL) {
- FreePool (*HandleType);
- }
-
- if (*HandleBuffer != NULL) {
- FreePool (*HandleBuffer);
- }
+ MyFreePool (*HandleType);
+ MyFreePool (*HandleBuffer);
*HandleCount = 0;
*HandleBuffer = NULL;