**/\r
typedef\r
VOID\r
-(EFIAPI *EFI_WATCHDOG_TIMER_NOTIFY) (\r
+(EFIAPI *EFI_WATCHDOG_TIMER_NOTIFY)(\r
IN UINT64 Time\r
);\r
\r
**/\r
typedef \r
EFI_STATUS\r
-(EFIAPI *EFI_WATCHDOG_TIMER_REGISTER_HANDLER) (\r
+(EFIAPI *EFI_WATCHDOG_TIMER_REGISTER_HANDLER)(\r
IN EFI_WATCHDOG_TIMER_ARCH_PROTOCOL *This,\r
IN EFI_WATCHDOG_TIMER_NOTIFY NotifyFunction\r
);\r
**/\r
typedef \r
EFI_STATUS\r
-(EFIAPI *EFI_WATCHDOG_TIMER_SET_TIMER_PERIOD) (\r
+(EFIAPI *EFI_WATCHDOG_TIMER_SET_TIMER_PERIOD)(\r
IN EFI_WATCHDOG_TIMER_ARCH_PROTOCOL *This,\r
IN UINT64 TimerPeriod\r
);\r
**/\r
typedef \r
EFI_STATUS\r
-(EFIAPI *EFI_WATCHDOG_TIMER_GET_TIMER_PERIOD) (\r
+(EFIAPI *EFI_WATCHDOG_TIMER_GET_TIMER_PERIOD)(\r
IN EFI_WATCHDOG_TIMER_ARCH_PROTOCOL *This,\r
OUT UINT64 *TimerPeriod\r
);\r