Sign in
opensecura
/
3p
/
sel4proj
/
global-components
/
8575f1a792132fb3fc5f90e8b00a6ddcd04f8331
/
.
/
interfaces
/
GetChar.idl4
blob: ff1e49c59a693bc018bfa11771fd7ba0e2397f68 [
file
] [
log
] [
blame
]
/*
* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
procedure
GetChar
{
void
foo
(
void
);
};