/* Read data from serial device and save the datas in buffer. */
UINTN EFIAPI SerialPortRead(OUT UINT8 *Buffer, IN UINTN NumberOfBytes)
/* Read data from serial device and save the datas in buffer. */
UINTN EFIAPI SerialPortRead(OUT UINT8 *Buffer, IN UINTN NumberOfBytes)
{
  *Buffer = SemihostReadCharacter ();
  return 1;
}