Sign in
opensecura
/
3p
/
sel4
/
camkes
/
refs/heads/master
/
.
/
apps
/
rotate
/
components
/
Server
/
src
/
server.c
blob: 4d65df030904533dc345e62a95ac1ec23a174a95 [
file
] [
log
] [
blame
] [
edit
]
/*
* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include
<camkes.h>
MyType_t
s_rotate
(
MyType_t
a
,
MyType_t
*
b
,
MyType_t
*
c
)
{
b
->
i
=
c
->
i
;
c
->
i
=
a
.
i
;
return
a
;
}