Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/vhost/vringh.c vringh_notify_enable_kern() -> __vringh_notify_enable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | getu16 | 301507835105697792 |
| PARAM_VALUE | 2 | putu16 | 2766091776196440064 |
| DATA_SOURCE | 0 | vrh | $0 |
drivers/vhost/vringh.c vringh_notify_enable_user() -> __vringh_notify_enable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | getu16 | 5704588379951734784 |
| PARAM_VALUE | 2 | putu16 | 8180406983830036480 |
| DATA_SOURCE | 0 | vrh | $0 |