| /* | |
| * 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); | |
| }; |