Open Menu /

Defined in 1 files as a prototype:

Referenced in 2 files:

Smatch caller information:

drivers/virt/vboxguest/vboxguest_core.c vbg_heartbeat_init() -> vbg_info()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4335781641128652800
PARAM_VALUE 2 $ 0
BUF_SIZE 0 fmt 59
BUF_SIZE 1 $ 19
STR_LEN 0 fmt 58
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_ioctl_log() -> vbg_info()

Type Parameter Key Value
PARAM_VALUE 0 fmt 1029349938509148160
BUF_SIZE 0 fmt 5
BUF_SIZE 2 $ 1
STR_LEN 0 fmt 4
TERMINATED 0 fmt 1
NOCHECK_CALL
UNITS 1 $ unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_query_host_version() -> vbg_info()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6052593262620409856
PARAM_VALUE 1 $ 0
PARAM_VALUE 1 *$ 0-127
BUF_SIZE 0 fmt 33
BUF_SIZE 1 $ 64
STR_LEN 0 fmt 32
STR_LEN 1 $ 63
STR_LEN 1 $ 63
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 $
HALF_LOCKED2 &pool->lock