//\r
#define EFI_PCI_HOST_BRIDGE_MEM64_DECODE 2\r
\r
+typedef UINT64 EFI_RESOURCE_ALLOCATION_STATUS;\r
+\r
+/// The request of this resource type could be fulfilled.\r
+#define EFI_RESOURCE_SATISFIED 0x0000000000000000ULL\r
+\r
+/// The request of this resource type could not be fulfilled for its\r
+/// absence in the host bridge resource pool.\r
+#define EFI_RESOURCE_NOT_SATISFIED 0xFFFFFFFFFFFFFFFFULL\r
\r
//\r
// EFI_PCI_HOST_BRIDGE_RESOURCE_ALLOCATION_PHASE\r
\r
@retval EFI_SUCCESS Success\r
@retval EFI_OUT_OF_RESOURCES If SubmitResources ( ) could not allocate resources\r
+ @retval EFI_INVALID_PARAMETER The Phase is invalid\r
@retval EFI_NOT_READY This phase cannot be entered at this time\r
@retval EFI_DEVICE_ERROR SetResources failed due to HW error.\r
\r
\r
@retval EFI_SUCCESS Success\r
@retval EFI_INVALID_PARAMETER RootBridgeHandle is invalid\r
+ @retval EFI_NOT_FOUND There are no more PCI root bridge device handles.\r
\r
**/\r
typedef\r
@retval EFI_INVALID_PARAMETER Configuration is NULL\r
@retval EFI_INVALID_PARAMETER Configuration does not point to a valid ACPI resource descriptor\r
@retval EFI_INVALID_PARAMETER Configuration includes a resource descriptor of unsupported type\r
-\r
+ \r
**/\r
typedef\r
EFI_STATUS\r