// SPEC: Section 12.3
X(Reset, EFI_STATUS, (struct EFI_SIMPLE_TEXT_INPUT_PROTOCOL *prot, EFI_BOOLEAN extended_verification))
X(ReadKeyStroke, EFI_STATUS, (struct EFI_SIMPLE_TEXT_INPUT_PROTOCOL *prot, EFI_INPUT_KEY *key))