/*
 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

procedure Display {
  /* Write a character to the display at position (x,y). Returns 0 on success
   * and non-zero on failure.
   */
  int put_char(in int x, in int y, in char data);
};