Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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]
77
pub fn flag_set(bv: i32, flag: i32) -> bool {
78
(bv & flag) == flag
79
}
80
81
#[trusted]
82
#[pure]
Callers
4
wasi_path_open
Function · 0.85
wasi_path_filestat_get
Function · 0.85
wasi_path_filestat_set_times
Function · 0.85
wasi_path_link
Function · 0.85
Calls
no outgoing calls
Tested by
no test coverage detected