);\r
\r
if (!EFI_ERROR (Status)) {\r
- gBS->FreePool (IsaIoDevice->DevicePath);\r
- gBS->FreePool (IsaIoDevice);\r
+ FreePool (IsaIoDevice->DevicePath);\r
+ FreePool (IsaIoDevice);\r
} else {\r
//\r
// Re-open PCI IO Protocol on behalf of the child device\r
\r
if (EFI_ERROR (Status)) {\r
if (IsaIoDevice->DevicePath != NULL) {\r
- gBS->FreePool (IsaIoDevice->DevicePath);\r
+ FreePool (IsaIoDevice->DevicePath);\r
}\r
\r
- gBS->FreePool (IsaIoDevice);\r
+ FreePool (IsaIoDevice);\r
}\r
\r
return Status;\r