sel4_sys/
invocations.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
//
// Copyright 2023, Colias Group, LLC
//
// SPDX-License-Identifier: BSD-2-Clause
//

use crate::bf::*;
use crate::c::*;

pub mod invocation_label {
    include!(concat!(env!("OUT_DIR"), "/invocation_labels.rs"));
}

include!(concat!(env!("OUT_DIR"), "/invocations.rs"));