Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/logger.c emit_log_message() -> emit_log_message_to_kernel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fmt | 7676164679640645632 |
| PARAM_VALUE | 2 | $ | 1-u64max |
| PARAM_VALUE | 3 | $ | 751190120692080640,1742036419041787904,6586914863675457536,6828151528425054208 |
| PARAM_VALUE | 4 | $ | 4602998933304729600,5219025013353672704 |
| PARAM_VALUE | 5 | $ | 3770885970051080192 |
| PARAM_VALUE | 5 | $->va | 3381665845638631424 |
| PARAM_VALUE | 6 | $ | 8179276606114549760 |
| PARAM_VALUE | 6 | $->fmt | 29353072927424512,6857839458895593472,8347350738675638272 |
| PARAM_VALUE | 6 | $->va | 7619698169395449856 |
| BUF_SIZE | 1 | fmt | 18 |
| BUF_SIZE | 2 | $ | (-1),19 |
| BUF_SIZE | 2 | $ | (-1),19 |
| BUF_SIZE | 3 | $ | 3-5 |
| BUF_SIZE | 3 | $ | 3-5 |
| BUF_SIZE | 4 | $ | 1,12 |
| BUF_SIZE | 4 | $ | 1,12 |
| DATA_SOURCE | 0 | priority | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| DATA_SOURCE | 3 | $ | r get_current_interrupt_type |
| DATA_SOURCE | 4 | $ | $2 |
| DATA_SOURCE | 5 | $ | $3 |
| DATA_SOURCE | 6 | $ | $4 |
| STR_LEN | 0 | priority | 2,18 |
| STR_LEN | 1 | fmt | 17 |
| STR_LEN | 2 | $ | (-1)-0,5,7,11,13,18 |
| STR_LEN | 2 | $ | (-1)-0,5,7,11,13,18 |
| STR_LEN | 3 | $ | 0,22 |
| STR_LEN | 4 | $ | 0,22 |
| BIT_INFO | 4 | $ | 0x861230000006000,0x7fedb3bd7bf3f000 |
| BIT_INFO | 4 | $ | 0x861230000006000,0x7fedb3bd7bf3f000 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 4 | $ | 1 |
| TERMINATED | 6 | $->fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/logger.c emit_log_message() -> emit_log_message_to_kernel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fmt | 5402791759844118528 |
| PARAM_VALUE | 2 | $ | 1-u64max |
| PARAM_VALUE | 3 | $ | 0-s32max |
| PARAM_VALUE | 5 | $ | 4602998933304729600,5219025013353672704 |
| PARAM_VALUE | 6 | $ | 3770885970051080192 |
| PARAM_VALUE | 6 | $->va | 3381665845638631424 |
| PARAM_VALUE | 7 | $ | 8179276606114549760 |
| PARAM_VALUE | 7 | $->fmt | 29353072927424512,6857839458895593472,8347350738675638272 |
| PARAM_VALUE | 7 | $->va | 7619698169395449856 |
| BUF_SIZE | 1 | fmt | 19 |
| BUF_SIZE | 2 | $ | (-1),19 |
| BUF_SIZE | 2 | $ | (-1),19 |
| BUF_SIZE | 4 | $ | 16 |
| BUF_SIZE | 5 | $ | 1,12 |
| BUF_SIZE | 5 | $ | 1,12 |
| DATA_SOURCE | 0 | priority | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| DATA_SOURCE | 3 | $ | r vdo_get_thread_device_id |
| DATA_SOURCE | 5 | $ | $2 |
| DATA_SOURCE | 6 | $ | $3 |
| DATA_SOURCE | 7 | $ | $4 |
| STR_LEN | 0 | priority | 2,18 |
| STR_LEN | 1 | fmt | 18 |
| STR_LEN | 2 | $ | (-1)-0,5,7,11,13,18 |
| STR_LEN | 2 | $ | (-1)-0,5,7,11,13,18 |
| STR_LEN | 3 | $ | 0,22 |
| STR_LEN | 5 | $ | 0,22 |
| BIT_INFO | 5 | $ | 0x861230000006000,0x7fedb3bd7bf3f000 |
| BIT_INFO | 5 | $ | 0x861230000006000,0x7fedb3bd7bf3f000 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 5 | $ | 1 |
| TERMINATED | 7 | $->fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/logger.c emit_log_message() -> emit_log_message_to_kernel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fmt | 1931507043721093120 |
| PARAM_VALUE | 3 | $ | 4602998933304729600,5219025013353672704 |
| PARAM_VALUE | 4 | $ | 3770885970051080192 |
| PARAM_VALUE | 4 | $->va | 3381665845638631424 |
| PARAM_VALUE | 5 | $ | 8179276606114549760 |
| PARAM_VALUE | 5 | $->fmt | 29353072927424512,6857839458895593472,8347350738675638272 |
| PARAM_VALUE | 5 | $->va | 7619698169395449856 |
| BUF_SIZE | 1 | fmt | 14 |
| BUF_SIZE | 2 | $ | 16 |
| BUF_SIZE | 3 | $ | 1,12 |
| BUF_SIZE | 3 | $ | 1,12 |
| DATA_SOURCE | 0 | priority | $0 |
| DATA_SOURCE | 3 | $ | $2 |
| DATA_SOURCE | 4 | $ | $3 |
| DATA_SOURCE | 5 | $ | $4 |
| STR_LEN | 0 | priority | 2,18 |
| STR_LEN | 1 | fmt | 13 |
| STR_LEN | 2 | $ | 0,22 |
| STR_LEN | 3 | $ | 0,22 |
| BIT_INFO | 3 | $ | 0x861230000006000,0x7fedb3bd7bf3f000 |
| BIT_INFO | 3 | $ | 0x861230000006000,0x7fedb3bd7bf3f000 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| TERMINATED | 5 | $->fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/logger.c emit_log_message() -> emit_log_message_to_kernel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fmt | 7458893191069839360 |
| PARAM_VALUE | 2 | $ | 1-u64max |
| PARAM_VALUE | 4 | $ | 4602998933304729600,5219025013353672704 |
| PARAM_VALUE | 5 | $ | 3770885970051080192 |
| PARAM_VALUE | 5 | $->va | 3381665845638631424 |
| PARAM_VALUE | 6 | $ | 8179276606114549760 |
| PARAM_VALUE | 6 | $->fmt | 29353072927424512,6857839458895593472,8347350738675638272 |
| PARAM_VALUE | 6 | $->va | 7619698169395449856 |
| BUF_SIZE | 1 | fmt | 18 |
| BUF_SIZE | 2 | $ | (-1),19 |
| BUF_SIZE | 2 | $ | (-1),19 |
| BUF_SIZE | 3 | $ | 16 |
| BUF_SIZE | 4 | $ | 1,12 |
| BUF_SIZE | 4 | $ | 1,12 |
| DATA_SOURCE | 0 | priority | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| DATA_SOURCE | 4 | $ | $2 |
| DATA_SOURCE | 5 | $ | $3 |
| DATA_SOURCE | 6 | $ | $4 |
| STR_LEN | 0 | priority | 2,18 |
| STR_LEN | 1 | fmt | 17 |
| STR_LEN | 2 | $ | (-1)-0,5,7,11,13,18 |
| STR_LEN | 2 | $ | (-1)-0,5,7,11,13,18 |
| STR_LEN | 3 | $ | 0,22 |
| STR_LEN | 4 | $ | 0,22 |
| BIT_INFO | 4 | $ | 0x861230000006000,0x7fedb3bd7bf3f000 |
| BIT_INFO | 4 | $ | 0x861230000006000,0x7fedb3bd7bf3f000 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 4 | $ | 1 |
| TERMINATED | 6 | $->fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |