/* Polls a serial device to see if there is any data waiting to be read. */
BOOLEAN EFIAPI SerialPortPoll(VOID)
/* Polls a serial device to see if there is any data waiting to be read. */
BOOLEAN EFIAPI SerialPortPoll(VOID)
{
  return mXenConsoleInterface &&
         mXenConsoleInterface->in_cons != mXenConsoleInterface->in_prod;
}