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);
}