Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/scrub/attr_repair.c xrep_xattr_recover_block() -> xrep_buf_verify_struct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_flags | 0-4294967295 |
| PARAM_VALUE | 0 | bp->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | bp->b_sema.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | bp->b_sema.lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | ops | 2348109553517068288 |
| NO_OVERFLOW_SIMPLE | 0 | bp->b_map_count | |
| HALF_LOCKED2 | &bp->b_sema |
fs/xfs/scrub/dir_repair.c xrep_dir_recover_dirblock() -> xrep_buf_verify_struct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_lru_ref.counter | 0-4 |
| PARAM_VALUE | 1 | ops | 8130666099431895040 |
| NO_OVERFLOW_SIMPLE | 0 | bp->b_map_count |
fs/xfs/scrub/dir_repair.c xrep_dir_recover_dirblock() -> xrep_buf_verify_struct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bp | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | bp->b_lru_ref.counter | 0-4 |
| PARAM_VALUE | 1 | ops | 5744654065408303104 |
| NO_OVERFLOW_SIMPLE | 0 | bp->b_map_count |