**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_EBC_CREATE_THUNK) (\r
+(EFIAPI *EFI_EBC_CREATE_THUNK)(\r
IN EFI_EBC_PROTOCOL *This,\r
IN EFI_HANDLE ImageHandle,\r
IN VOID *EbcEntryPoint,\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_EBC_UNLOAD_IMAGE) (\r
+(EFIAPI *EFI_EBC_UNLOAD_IMAGE)(\r
IN EFI_EBC_PROTOCOL *This,\r
IN EFI_HANDLE ImageHandle\r
);\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EBC_ICACHE_FLUSH) (\r
+(EFIAPI *EBC_ICACHE_FLUSH)(\r
IN EFI_PHYSICAL_ADDRESS Start,\r
IN UINT64 Length\r
);\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_EBC_REGISTER_ICACHE_FLUSH) (\r
+(EFIAPI *EFI_EBC_REGISTER_ICACHE_FLUSH)(\r
IN EFI_EBC_PROTOCOL *This,\r
IN EBC_ICACHE_FLUSH Flush\r
);\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_EBC_GET_VERSION) (\r
+(EFIAPI *EFI_EBC_GET_VERSION)(\r
IN EFI_EBC_PROTOCOL *This,\r
IN OUT UINT64 *Version\r
);\r