RegisterHotkey (\r
IN EFI_KEY_OPTION *KeyOption,\r
OUT UINT16 *KeyOptionNumber\r
- )\r
-;\r
+ );\r
\r
/**\r
\r
EFI_STATUS\r
UnregisterHotkey (\r
IN UINT16 KeyOptionNumber\r
- )\r
-;\r
+ );\r
\r
\r
/**\r
EFI_STATUS\r
InitializeHotkeyService (\r
VOID\r
- )\r
-;\r
+ );\r
\r
#endif\r