IN UINT64 Address,\r
IN UINTN Count,\r
IN OUT VOID *Buffer\r
- )\r
-;\r
+ );\r
\r
\r
/**\r
IN UINT64 Address,\r
IN UINTN Count,\r
IN OUT VOID *Buffer\r
- )\r
-;\r
+ );\r
\r
/**\r
Perform reading I/O space of device.\r
IN UINT64 Address,\r
IN UINTN Count,\r
IN OUT VOID *Buffer\r
- )\r
-;\r
+ );\r
\r
/**\r
Perform writing I/O space of device.\r
IN UINT64 Address,\r
IN UINTN Count,\r
IN OUT VOID *Buffer\r
- )\r
-;\r
+ );\r
\r
/**\r
Perform reading PCI configuration space of device\r
IN UINT64 Address,\r
IN UINTN Count,\r
IN OUT VOID *Buffer\r
- )\r
-;\r
+ );\r
\r
/**\r
Perform writing PCI configuration space of device.\r
IN UINT64 Address,\r
IN UINTN Count,\r
IN OUT VOID *Buffer\r
- )\r
-;\r
+ );\r
\r
/**\r
Provides an EFI Device Path for a PCI device with the given PCI configuration space address.\r
IN EFI_DEVICE_IO_PROTOCOL *This,\r
IN UINT64 Address,\r
IN OUT EFI_DEVICE_PATH_PROTOCOL **PciDevicePath\r
- )\r
-;\r
+ );\r
\r
/**\r
Provides the device-specific addresses needed to access system memory.\r
IN OUT UINTN *NumberOfBytes,\r
OUT EFI_PHYSICAL_ADDRESS *DeviceAddress,\r
OUT VOID **Mapping\r
- )\r
-;\r
+ );\r
\r
/**\r
Completes the Map() operation and releases any corresponding resources.\r
DeviceIoUnmap (\r
IN EFI_DEVICE_IO_PROTOCOL *This,\r
IN VOID *Mapping\r
- )\r
-;\r
+ );\r
\r
/**\r
Allocates pages that are suitable for an EFIBusMasterCommonBuffer mapping.\r
IN EFI_MEMORY_TYPE MemoryType,\r
IN UINTN Pages,\r
IN OUT EFI_PHYSICAL_ADDRESS *PhysicalAddress\r
- )\r
-;\r
+ );\r
\r
/**\r
Flushes any posted write data to the device.\r
EFIAPI\r
DeviceIoFlush (\r
IN EFI_DEVICE_IO_PROTOCOL *This\r
- )\r
-;\r
+ );\r
\r
/**\r
Frees pages that were allocated with AllocateBuffer().\r
IN EFI_DEVICE_IO_PROTOCOL *This,\r
IN UINTN Pages,\r
IN EFI_PHYSICAL_ADDRESS HostAddress\r
- )\r
-;\r
+ );\r
\r
\r
#define DEVICE_IO_PRIVATE_DATA_SIGNATURE EFI_SIGNATURE_32 ('D', 'e', 'I', 'O')\r