Sign in
opensecura
/
3p
/
sel4proj
/
global-components
/
7e4763949e6a53f716aeea131ff61a19223207ef
/
.
/
interfaces
/
PutChar.idl4
blob: b2f20d3d6b59cb598352b129ff18f51fc52c065c [
file
] [
log
] [
blame
]
/*
* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
procedure
PutChar
{
void
putchar
(
in
int
c
);
};