Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/vhost/vringh.c vringh_notify_disable_kern() -> __vringh_notify_disable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | putu16 | 2766091776196440064 |
| DATA_SOURCE | 0 | vrh | $0 |
| NOCHECK_CALL |
drivers/vhost/vringh.c vringh_notify_disable_user() -> __vringh_notify_disable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | putu16 | 8180406983830036480 |
| DATA_SOURCE | 0 | vrh | $0 |
| NOCHECK_CALL |