MCPcopy Create free account
hub / github.com/PLSysSec/wave / flag_set

Function flag_set

src/tcb/misc.rs:77–79  ·  view source on GitHub ↗
(bv: i32, flag: i32)

Source from the content-addressed store, hash-verified

75#[trusted]
76#[pure]
77pub fn flag_set(bv: i32, flag: i32) -> bool {
78 (bv & flag) == flag
79}
80
81#[trusted]
82#[pure]

Callers 4

wasi_path_openFunction · 0.85
wasi_path_filestat_getFunction · 0.85
wasi_path_linkFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected