sel4_sys/
invocations.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7use crate::bf::*;
8use crate::c::*;
9
10pub mod invocation_label {
11    include!(concat!(env!("OUT_DIR"), "/invocation_labels.rs"));
12}
13
14include!(concat!(env!("OUT_DIR"), "/invocations.rs"));