Sign in
opensecura
/
3p
/
sel4
/
camkes
/
refs/heads/master
/
.
/
apps
/
mutex
/
interfaces
/
lock.idl4
blob: 12b0a8967ae860d269af28107fbfeb7cc5b56231 [
file
] [
edit
]
/*
* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
procedure
Lock
{
int
lock
(
void
);
int
unlock
(
void
);
}