Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/inode.c btrfs_invalidate_folio() -> btrfs_dec_test_ordered_pending()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->ordered_tree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->root | 4096-ptr_max |
| PARAM_VALUE | 1 | cached | 3461505414819041280 |
| PARAM_VALUE | 1 | *cached | 4096-ptr_max |
| PARAM_VALUE | 2 | file_offset | 0-18446744073709551614 |
| CAPPED_DATA | 2 | file_offset | 1 |
| CAPPED_DATA | 2 | file_offset | 1 |
| CAPPED_DATA | 3 | io_size | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | file_offset | unit_byte |
| UNITS | 3 | io_size | unit_byte |