Sign in
opensecura
/
3p
/
sel4
/
camkes
/
refs/heads/master
/
.
/
apps
/
RPCOverMultiSharedData
/
interfaces
/
Addition.idl4
blob: ee21cdff65ad3cda5b45a894b4c23dfd407f1eb9 [
file
] [
log
] [
blame
] [
edit
]
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
procedure
Addition
{
include
<payload.h>
;
void
calculate
(
inout
payload_t
data
);
};