(EFIAPI *EFI_INPUT_RESET)(\r
IN EFI_SIMPLE_TEXT_INPUT_PROTOCOL *This,\r
IN BOOLEAN ExtendedVerification\r
- )\r
-;\r
+ );\r
\r
/**\r
Reads the next keystroke from the input device. The WaitForKey Event can \r
(EFIAPI *EFI_INPUT_READ_KEY)(\r
IN EFI_SIMPLE_TEXT_INPUT_PROTOCOL *This,\r
OUT EFI_INPUT_KEY *Key\r
- )\r
-;\r
+ );\r
\r
/** \r
@par Protocol Description:\r