Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/tomoyo/gc.c tomoyo_del_domain() -> tomoyo_memory_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ptr | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | &tomoyo_gc_mutex | ||
| LOCK2 | global &tomoyo_policy_lock |
security/tomoyo/gc.c tomoyo_try_to_gc() -> tomoyo_memory_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ptr | 4096-ptr_max |
| DATA_SOURCE | 0 | ptr | $1 |
| NOCHECK_CALL | |||
| LOCK2 | &tomoyo_gc_mutex | ||
| LOCK2 | global &tomoyo_policy_lock |