Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/virt/vboxguest/vboxguest_core.c vbg_core_ioctl() -> vbg_ioctl_write_core_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | session | 4096-ptr_max |
| PARAM_VALUE | 2 | dump | 4096-ptr_max |
| BUF_SIZE | 1 | session | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | session | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | dump | (-1),24-16777216 |
| DATA_SOURCE | 1 | session | $0 |
| DATA_SOURCE | 2 | dump | $2 |