Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vringh.c __vringh_get_head() -> __vringh_get_head param 1()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 1 val 4128554120644517888
PARAM_VALUE 2 p 4096-ptr_max
DATA_SOURCE 0 vrh $0

drivers/vhost/vringh.c __vringh_get_head() -> __vringh_get_head param 1()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->vring.avail->ring 4096-ptr_max
PARAM_VALUE 1 val 4692767963562311680
PARAM_VALUE 2 p 4096-ptr_max
DATA_SOURCE 0 vrh $0

drivers/vhost/vringh.c __vringh_notify_enable() -> __vringh_notify_enable param 1()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 1 val 7298505978738601984
PARAM_VALUE 2 p 4096-ptr_max
DATA_SOURCE 0 vrh $0

drivers/vhost/vringh.c __vringh_need_notify() -> __vringh_need_notify param 1()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->event_indices 0
PARAM_VALUE 1 val 2207161845973381120
DATA_SOURCE 0 vrh $0

drivers/vhost/vringh.c __vringh_need_notify() -> __vringh_need_notify param 1()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->event_indices 1
PARAM_VALUE 1 val 3509143633096335360
DATA_SOURCE 0 vrh $0