Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/exfat/cache.c __exfat_cache_inval_inode() -> exfat_cache_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cache | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ei->cache_lru_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct exfat_inode_info)->cache_lru_lock |
fs/exfat/cache.c exfat_cache_add() -> exfat_cache_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cache | 1-u64max |
| DATA_SOURCE | 0 | cache | r exfat_cache_alloc |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ei->cache_lru_lock | ||
| LOCK2 | &sbi->s_lock | ||
| TYPE_LOCK | (struct exfat_inode_info)->cache_lru_lock | ||
| TYPE_LOCK | (struct exfat_sb_info)->s_lock |