Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/vhost/vringh.c vringh_need_notify_iotlb() -> __vringh_need_notify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vrh | 4096-ptr_max |
| PARAM_VALUE | 1 | getu16 | 1525156733640589312 |
| DATA_SOURCE | 0 | vrh | $0 |
| PREEMPT_ADD | |||
| HALF_LOCKED2 | &ndev->reslock | ||
| HALF_LOCKED2 | &vdpasim->mutex | ||
| HALF_LOCKED2 | bh |
drivers/vhost/vringh.c vringh_need_notify_kern() -> __vringh_need_notify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | getu16 | 301507835105697792 |
| DATA_SOURCE | 0 | vrh | $0 |
drivers/vhost/vringh.c vringh_need_notify_user() -> __vringh_need_notify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | getu16 | 5704588379951734784 |
| DATA_SOURCE | 0 | vrh | $0 |