Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/direct-io.c dio_get_page() -> dio_pages_present()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdio | 8554987485265027072 |
| CAPPED_DATA | 0 | sdio->block_in_file | 1 |
| CAPPED_DATA | 0 | sdio->final_block_in_request | 1 |
| DATA_SOURCE | 0 | sdio | $1 |
| NOSPEC | 0 | sdio->block_in_file | |
| NOSPEC | 0 | sdio->cur_page_offset | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | sdio->bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | sdio->bio->bi_next->bi_ioprio | 0-u16max[c] |
| USER_DATA | 0 | sdio->bio->bi_next->bi_max_vecs | 0-256[c] |
| USER_DATA | 0 | sdio->block_in_file | 0-s32max[c] |
| USER_DATA | 0 | sdio->blocks_available | 0-u32max[c][u] |
| USER_DATA | 0 | sdio->cur_page_offset | 0-4095[c] |
| USER_DATA | 0 | sdio->pages_in_io | 1-524291[c][u] |
| USER_DATA | 0 | sdio->tail | 0-524288[c] |
| USER_DATA | 0 | sdio->to | 1-4096[c] |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |
fs/direct-io.c dio_get_page() -> dio_pages_present()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdio | 8554987485265027072 |
| CAPPED_DATA | 0 | sdio->block_in_file | 1 |
| CAPPED_DATA | 0 | sdio->final_block_in_request | 1 |
| DATA_SOURCE | 0 | sdio | $1 |
| NOSPEC | 0 | sdio->block_in_file | |
| NOSPEC | 0 | sdio->cur_page_offset | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | sdio->bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | sdio->bio->bi_next->bi_ioprio | 0-u16max[c] |
| USER_DATA | 0 | sdio->bio->bi_next->bi_max_vecs | 0-256[c] |
| USER_DATA | 0 | sdio->block_in_file | 0-s32max[c] |
| USER_DATA | 0 | sdio->blocks_available | 0-u32max[c][u] |
| USER_DATA | 0 | sdio->cur_page_offset | 0-4095[c] |
| USER_DATA | 0 | sdio->pages_in_io | 1-524291[c][u] |
| USER_DATA | 0 | sdio->tail | 0-524288[c] |
| USER_DATA | 0 | sdio->to | 1-4096[c] |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock |