Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/super.c super_cache_count() -> super_fs_objects_eligible()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 273323331379130368,3067962247664386048,8100929453709590528 |
| DATA_SOURCE | 0 | sc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &m->lock |
fs/super.c super_cache_scan() -> super_fs_objects_eligible()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 273323331379130368,2304079381943222272,3067962247664386048,4213384192971792384 |
| DATA_SOURCE | 0 | sc | $1 |
| BIT_INFO | 0 | sc->gfp_mask | 0x80,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | sc->nr_to_scan | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | sc->nr_to_scan | |
| LOCK2 | &sb->s_umount | ||
| HALF_LOCKED2 | global &bch_register_lock | ||
| TYPE_LOCK | (struct super_block)->s_umount |