Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/tpm/tpm_vtpm_proxy.c vtpmx_ioc_new_dev() -> vtpm_proxy_create_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vtpm_new_dev | 3147339863441387520 |
| CAPABLE | 0 | 21 | |
| USER_DATA | 0 | vtpm_new_dev->fd | 0-u32max |
| USER_DATA | 0 | vtpm_new_dev->flags | 0-u32max |
| USER_DATA | 0 | vtpm_new_dev->major | 0-u32max |
| USER_DATA | 0 | vtpm_new_dev->minor | 0-u32max |
| USER_DATA | 0 | vtpm_new_dev->tpm_num | 0-u32max |