Defined in 2 files as a function:
- drivers/platform/x86/amd/hsmp/hsmp.c, line 185 (as a function)
- fs/dlm/lock.c, line 3937 (as a function)
Referenced in 2 files:
Smatch caller information:
fs/dlm/lock.c _receive_cancel_reply() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource->res_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ms | 4096-ptr_max |
| PARAM_VALUE | 1 | ms->m_type | 8 |
| BUF_SIZE | 1 | ms | (-1),88 |
| BUF_SIZE | 1 | ms | (-1),88 |
| DATA_SOURCE | 0 | lkb | $0 |
| DATA_SOURCE | 1 | ms | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &r->res_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ls->ls_in_recovery | ||
| HALF_LOCKED2 | &ls->ls_recoverd_active | ||
| HALF_LOCKED2 | &ls->ls_requestqueue_lock | ||
| TYPE_LOCK | (struct dlm_rsb)->res_lock |
fs/dlm/lock.c _receive_convert_reply() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource->res_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ms | 4096-ptr_max |
| PARAM_VALUE | 1 | ms->m_type | 6 |
| CAPPED_DATA | 1 | ms->m_header.h_nodeid | 1 |
| DATA_SOURCE | 0 | lkb | $0 |
| DATA_SOURCE | 1 | ms | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &ls->ls_requestqueue_lock | ||
| LOCK2 | &r->res_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ls->ls_recoverd_active | ||
| HALF_LOCKED2 | &ls->ls_recv_active | ||
| TYPE_LOCK | (struct dlm_ls)->ls_requestqueue_lock | ||
| TYPE_LOCK | (struct dlm_rsb)->res_lock |
fs/dlm/lock.c _receive_unlock_reply() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource->res_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ms | 4096-ptr_max |
| PARAM_VALUE | 1 | ms->m_type | 7 |
| BUF_SIZE | 1 | ms | (-1),88 |
| BUF_SIZE | 1 | ms | (-1),88 |
| DATA_SOURCE | 0 | lkb | $0 |
| DATA_SOURCE | 1 | ms | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &r->res_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ls->ls_in_recovery | ||
| HALF_LOCKED2 | &ls->ls_recoverd_active | ||
| HALF_LOCKED2 | &ls->ls_requestqueue_lock | ||
| TYPE_LOCK | (struct dlm_rsb)->res_lock |
fs/dlm/lock.c receive_bast() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource->res_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ms | 4096-ptr_max |
| PARAM_VALUE | 1 | ms->m_type | 10 |
| CAPPED_DATA | 1 | ms->m_header.h_nodeid | 1 |
| DATA_SOURCE | 1 | ms | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &ls->ls_requestqueue_lock | ||
| LOCK2 | &r->res_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ls->ls_recoverd_active | ||
| HALF_LOCKED2 | &ls->ls_recv_active | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct dlm_ls)->ls_requestqueue_lock | ||
| TYPE_LOCK | (struct dlm_rsb)->res_lock |
fs/dlm/lock.c receive_cancel() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource->res_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ms | 4096-ptr_max |
| PARAM_VALUE | 1 | ms->m_type | 4 |
| CAPPED_DATA | 1 | ms->m_header.h_nodeid | 1 |
| DATA_SOURCE | 1 | ms | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &ls->ls_requestqueue_lock | ||
| LOCK2 | &r->res_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ls->ls_recoverd_active | ||
| HALF_LOCKED2 | &ls->ls_recv_active | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct dlm_ls)->ls_requestqueue_lock | ||
| TYPE_LOCK | (struct dlm_rsb)->res_lock |
fs/dlm/lock.c receive_convert() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource->res_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ms | 4096-ptr_max |
| PARAM_VALUE | 1 | ms->m_type | 2 |
| CAPPED_DATA | 0 | lkb->lkb_remid | 1 |
| CAPPED_DATA | 1 | ms->m_header.h_nodeid | 1 |
| CAPPED_DATA | 1 | ms->m_lkid | 1 |
| DATA_SOURCE | 1 | ms | $1 |
| PARAM_COMPARE | 0 | lkb->lkb_remid | == $1->m_lkid |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &ls->ls_requestqueue_lock | ||
| LOCK2 | &r->res_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ls->ls_recoverd_active | ||
| HALF_LOCKED2 | &ls->ls_recv_active | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct dlm_ls)->ls_requestqueue_lock | ||
| TYPE_LOCK | (struct dlm_rsb)->res_lock |
fs/dlm/lock.c receive_grant() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource->res_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ms | 4096-ptr_max |
| PARAM_VALUE | 1 | ms->m_type | 9 |
| CAPPED_DATA | 1 | ms->m_header.h_nodeid | 1 |
| DATA_SOURCE | 1 | ms | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &ls->ls_requestqueue_lock | ||
| LOCK2 | &r->res_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ls->ls_recoverd_active | ||
| HALF_LOCKED2 | &ls->ls_recv_active | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct dlm_ls)->ls_requestqueue_lock | ||
| TYPE_LOCK | (struct dlm_rsb)->res_lock |
fs/dlm/lock.c receive_request_reply() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource->res_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ms | 4096-ptr_max |
| PARAM_VALUE | 1 | ms->m_type | 5 |
| CAPPED_DATA | 1 | ms->m_header.h_nodeid | 1 |
| DATA_SOURCE | 1 | ms | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &ls->ls_requestqueue_lock | ||
| LOCK2 | &r->res_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ls->ls_recoverd_active | ||
| HALF_LOCKED2 | &ls->ls_recv_active | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct dlm_ls)->ls_requestqueue_lock | ||
| TYPE_LOCK | (struct dlm_rsb)->res_lock |
fs/dlm/lock.c receive_unlock() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource | 4096-ptr_max |
| PARAM_VALUE | 0 | lkb->lkb_resource->res_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ms | 4096-ptr_max |
| PARAM_VALUE | 1 | ms->m_type | 3 |
| CAPPED_DATA | 0 | lkb->lkb_remid | 1 |
| CAPPED_DATA | 1 | ms->m_header.h_nodeid | 1 |
| CAPPED_DATA | 1 | ms->m_lkid | 1 |
| DATA_SOURCE | 1 | ms | $1 |
| PARAM_COMPARE | 0 | lkb->lkb_remid | == $1->m_lkid |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &ls->ls_requestqueue_lock | ||
| LOCK2 | &r->res_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ls->ls_recoverd_active | ||
| HALF_LOCKED2 | &ls->ls_recv_active | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct dlm_ls)->ls_requestqueue_lock | ||
| TYPE_LOCK | (struct dlm_rsb)->res_lock |
drivers/platform/x86/amd/hsmp/hsmp.c hsmp_send_message_locked() -> validate_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lkb | 565024886527811584,1602277428747644928,1717540184317739008,4600680786427486208,6085220449789685760,7228286451207262208,7540206931311525888,7979678782876258304 |
| DATA_SOURCE | 0 | lkb | $0 |
| NOSPEC | 0 | lkb->msg_id | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | lkb->msg_id | 0-60[c] |
| USER_DATA | 0 | lkb->num_args | 0-u16max |
| USER_DATA | 0 | lkb->response_sz | 0-u16max |
| USER_DATA | 0 | lkb->sock_ind | 0-u16max |
| USER_PTR | 0 | lkb->args | |
| HALF_LOCKED2 | _T->lock |