Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/f2fs/data.c f2fs_reserve_new_blocks() -> __set_data_blkaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dn | 1776166149423665152,2877915006866423808,5176109026535841792,6078007948475510784,6209035082583699456,6640892263497801728,7818540088687124480,8264148285849141248 |
| PARAM_VALUE | 0 | dn->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | dn->node_folio | 4096-ptr_max |
| PARAM_VALUE | 1 | blkaddr | u32max |
| DATA_SOURCE | 0 | dn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dn->inode->i_bytes | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem |
fs/f2fs/data.c f2fs_set_data_blkaddr() -> __set_data_blkaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dn | 4096-ptr_max |
| PARAM_VALUE | 0 | dn->node_folio | 4096-ptr_max |
| DATA_SOURCE | 0 | dn | $0 |
| DATA_SOURCE | 1 | blkaddr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dn->inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | dn->inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | dn->inode->i_ino | |
| UNITS | 1 | blkaddr | unit_page |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem |