Defined in 1 files as a prototype:
Defined in 3 files as a function:
- drivers/rtc/rtc-ds1305.c, line 489 (as a function)
- ipc/msg.c, line 1369 (as a function)
- mm/userfaultfd.c, line 2595 (as a function)
Referenced in 4 files:
Smatch caller information:
mm/userfaultfd.c dup_fctx() -> msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 3564991124496838656 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/userfaultfd.c mremap_userfaultfd_complete() -> msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 1763872162714255360 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/userfaultfd.c userfault_msg() -> msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 174426713309614080 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/userfaultfd.c userfaultfd_remove() -> msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 5202154492632735744 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &madv_behavior->mm->mmap_lock |
mm/userfaultfd.c userfaultfd_unmap_complete() -> msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 8589163653414457344 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
ipc/util.c ipc_init() -> msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/rtc/rtc-ds1305.c ds1305_nvram_read() -> msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 8445867313029058560 |
| PARAM_VALUE | 1 | x | 7012081724085432320 |
| PARAM_VALUE | 2 | addr | 6746393375480614912 |
| PARAM_VALUE | 4 | tx | 0 |
| BUF_SIZE | 1 | x | 272 |
| BUF_SIZE | 5 | rx | (-1)-s32max |
| DATA_SOURCE | 3 | count | $3 |
| DATA_SOURCE | 5 | rx | $2 |
| NOSPEC | 3 | count | |
| NOSPEC | 3 | count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | count | 0-u32max[c] |
| BYTE_COUNT | 5 | ==rx3 | 8050 |
| HALF_LOCKED2 | &of->mutex |
drivers/rtc/rtc-ds1305.c ds1305_nvram_write() -> msg_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 315312865058754560 |
| PARAM_VALUE | 1 | x | 7913950202736738304 |
| PARAM_VALUE | 2 | addr | 642025718280638464 |
| PARAM_VALUE | 5 | rx | 0 |
| BUF_SIZE | 1 | x | 272 |
| BUF_SIZE | 4 | tx | (-1),1-s32max |
| DATA_SOURCE | 3 | count | $3 |
| DATA_SOURCE | 4 | tx | $2 |
| NOSPEC | 3 | count | |
| NOSPEC | 3 | count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | count | 0-u32max[c] |
| HALF_LOCKED2 | &of->mutex |