Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/landlock/tsync.c landlock_restrict_sibling_threads() -> count_additional_threads()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | works | 6590470923777810432 |
| PARAM_VALUE | 0 | works->works | 0,4096-ptr_max |
| NO_OVERFLOW_SIMPLE | 0 | works->capacity | |
| NO_OVERFLOW_SIMPLE | 0 | works->size |