Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/landlock/log.c landlock_log_denial() -> is_valid_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | request | 4096-ptr_max |
| PARAM_VALUE | 0 | request->access | 0-131071 |
| PARAM_VALUE | 0 | request->all_existing_optional_access | 0 |
| PARAM_VALUE | 0 | request->deny_masks | 0 |
| PARAM_VALUE | 0 | request->layer_masks | 0,3869060802421760000,4347516065142276096,5844029683794718720,9060756209122947072,9127958529798717440 |
| PARAM_VALUE | 0 | request->layer_plus_one | 0 |
| PARAM_VALUE | 0 | request->quiet_optional_accesses | 0 |
| PARAM_VALUE | 0 | request->type | 0,3 |
| DATA_SOURCE | 0 | request | $1 |
| HALF_LOCKED2 | rcu_read |