/* PCI Bus Number - Max 256 busses (Bits 15:8 of BDF) PCI Device Number - Max 32 devices (Bits 7:3 of BDF) PCI Function Number - Max 8 functions (Bits 2:0 of BDF) */
STATIC UINT16 GetBdf(IN CONST CM_ARM_DEVICE_HANDLE_PCI *DeviceHandlePci)
/* PCI Bus Number - Max 256 busses (Bits 15:8 of BDF) PCI Device Number - Max 32 devices (Bits 7:3 of BDF) PCI Function Number - Max 8 functions (Bits 2:0 of BDF) */
STATIC UINT16 GetBdf(IN CONST CM_ARM_DEVICE_HANDLE_PCI *DeviceHandlePci)
{
  UINT16  Bdf;
  Bdf  = (UINT16)DeviceHandlePci->BusNumber << 8;
  Bdf |= (DeviceHandlePci->DeviceNumber & 0x1F) << 3;
  Bdf |= DeviceHandlePci->FunctionNumber & 0x7;
  return Bdf;
}