/* Check whether the EFI key buffer is empty. */
BOOLEAN IsEfikeyBufEmpty(IN EFI_KEY_QUEUE *Queue)
/* Check whether the EFI key buffer is empty. */
BOOLEAN IsEfikeyBufEmpty(IN EFI_KEY_QUEUE *Queue)
{
  return (BOOLEAN)(Queue->Head == Queue->Tail);
}