Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
9bc1a66dd7e7971cab97f300bb563110ee213f61
/
.
/
libsel4allocman
/
arch
/
arm
/
allocman
/
arch
/
reservation.h
blob: 8690f84d07879f0e719857c7a1d96d4981201221 [
file
] [
log
] [
blame
]
/*
* Copyright 2018, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma
once
#include
<allocman/sel4_arch/reservation.h>
