gnu-efi/lib/pause.c

   1 #include "lib.h"
   2
   3 VOID
   4 Pause(
   5     VOID
   6 )
   7 // Pause until any key is pressed
   8 {
   9     EFI_INPUT_KEY Key;
  10     EFI_STATUS    Status EFI_UNUSED;
  11
  12     WaitForSingleEvent(ST->ConIn->WaitForKey, 0);
  13     Status = uefi_call_wrapper(ST->ConIn->ReadKeyStroke, 2, ST->ConIn, &Key);
  14     ASSERT(!EFI_ERROR(Status));
  15 }