Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/virt/vboxguest/vboxguest_core.c vbg_acquire_session_capabilities() -> vbg_set_host_capabilities()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gdev | 4096-ptr_max |
| PARAM_VALUE | 0 | gdev->event_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gdev->session_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gdev->session_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gdev->session_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | gdev->session_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | gdev->session_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gdev->session_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | gdev->session_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | session | 4096-ptr_max |
| BUF_SIZE | 1 | session | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | session | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | &gdev->session_mutex | 1 |
| DATA_SOURCE | 0 | gdev | $0 |
| DATA_SOURCE | 1 | session | $1 |
| DATA_SOURCE | 2 | session_termination | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &gdev->session_mutex | |
| TYPE_LOCK | (struct vbg_dev)->session_mutex |
drivers/virt/vboxguest/vboxguest_core.c vbg_set_session_capabilities() -> vbg_set_host_capabilities()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gdev | 4096-ptr_max |
| PARAM_VALUE | 0 | gdev->session_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gdev->session_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gdev->session_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | gdev->session_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | gdev->session_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gdev->session_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | gdev->session_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | gdev->set_guest_caps_tracker->per_bit_usage | 1 |
| PARAM_VALUE | 1 | session | 4096-ptr_max |
| BUF_SIZE | 1 | session | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | session | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | &gdev->session_mutex | 1 |
| DATA_SOURCE | 0 | gdev | $0 |
| DATA_SOURCE | 1 | session | $1 |
| DATA_SOURCE | 2 | session_termination | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &gdev->session_mutex | |
| TYPE_LOCK | (struct vbg_dev)->session_mutex |