Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/print-tree.c print_inode_item() -> print_timespec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | eb | 4096-ptr_max |
| PARAM_VALUE | 0 | eb->fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | eb->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | eb->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | timespec | 4096-ptr_max |
| PARAM_VALUE | 2 | prefix | 4283921870721609728 |
| PARAM_VALUE | 3 | suffix | 3018497645153456128 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | prefix | 9 |
| BUF_SIZE | 3 | suffix | 2 |
| DATA_SOURCE | 0 | eb | $0 |
| STR_LEN | 0 | eb | 8 |
| STR_LEN | 1 | timespec | 1 |
| TERMINATED | 2 | prefix | 1 |
| TERMINATED | 3 | suffix | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | eb->len | |
| NO_OVERFLOW_SIMPLE | 0 | eb->start | |
| HALF_LOCKED2 | &fs_info->cleaner_mutex | ||
| HALF_LOCKED2 | &leaf->lock | ||
| HALF_LOCKED2 | 0 | &eb->lock |
fs/btrfs/print-tree.c print_inode_item() -> print_timespec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | eb | 4096-ptr_max |
| PARAM_VALUE | 0 | eb->fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | eb->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | eb->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | timespec | 4096-ptr_max |
| PARAM_VALUE | 2 | prefix | 5941678345330176000 |
| PARAM_VALUE | 3 | suffix | 3018497645153456128 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | prefix | 9 |
| BUF_SIZE | 3 | suffix | 2 |
| DATA_SOURCE | 0 | eb | $0 |
| STR_LEN | 0 | eb | 8 |
| STR_LEN | 1 | timespec | 1 |
| TERMINATED | 2 | prefix | 1 |
| TERMINATED | 3 | suffix | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | eb->len | |
| NO_OVERFLOW_SIMPLE | 0 | eb->start | |
| HALF_LOCKED2 | &fs_info->cleaner_mutex | ||
| HALF_LOCKED2 | &leaf->lock | ||
| HALF_LOCKED2 | 0 | &eb->lock |
fs/btrfs/print-tree.c print_inode_item() -> print_timespec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | eb | 4096-ptr_max |
| PARAM_VALUE | 0 | eb->fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | eb->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | eb->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | timespec | 4096-ptr_max |
| PARAM_VALUE | 2 | prefix | 6361569547551051776 |
| PARAM_VALUE | 3 | suffix | 3018497645153456128 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | prefix | 9 |
| BUF_SIZE | 3 | suffix | 2 |
| DATA_SOURCE | 0 | eb | $0 |
| STR_LEN | 0 | eb | 8 |
| STR_LEN | 1 | timespec | 1 |
| TERMINATED | 2 | prefix | 1 |
| TERMINATED | 3 | suffix | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | eb->len | |
| NO_OVERFLOW_SIMPLE | 0 | eb->start | |
| HALF_LOCKED2 | &fs_info->cleaner_mutex | ||
| HALF_LOCKED2 | &leaf->lock | ||
| HALF_LOCKED2 | 0 | &eb->lock |
fs/btrfs/print-tree.c print_inode_item() -> print_timespec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | eb | 4096-ptr_max |
| PARAM_VALUE | 0 | eb->fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | eb->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | eb->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | timespec | 4096-ptr_max |
| PARAM_VALUE | 2 | prefix | 1161193317456449536 |
| PARAM_VALUE | 3 | suffix | 3018497645153456128 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | prefix | 9 |
| BUF_SIZE | 3 | suffix | 2 |
| DATA_SOURCE | 0 | eb | $0 |
| STR_LEN | 0 | eb | 8 |
| STR_LEN | 1 | timespec | 1 |
| TERMINATED | 2 | prefix | 1 |
| TERMINATED | 3 | suffix | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | eb->len | |
| NO_OVERFLOW_SIMPLE | 0 | eb->start | |
| HALF_LOCKED2 | &fs_info->cleaner_mutex | ||
| HALF_LOCKED2 | &leaf->lock | ||
| HALF_LOCKED2 | 0 | &eb->lock |