Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/virt/vboxguest/vboxguest_core.c vbg_balloon_deflate() -> vbg_status_code_to_errno()

Type Parameter Key Value
PARAM_VALUE 0 rc s32min-(-1)
DATA_SOURCE 0 rc r vbg_req_perform
FUZZY_MAX 0 rc (-1)
BIT_INFO 0 rc 0x0,0x7fffffff
HARD_MAX 0 rc (-1)
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_balloon_inflate() -> vbg_status_code_to_errno()

Type Parameter Key Value
PARAM_VALUE 0 rc s32min-(-1)
DATA_SOURCE 0 rc r vbg_req_perform
FUZZY_MAX 0 rc (-1)
BIT_INFO 0 rc 0x0,0x7fffffff
HARD_MAX 0 rc (-1)
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_core_set_mouse_status() -> vbg_status_code_to_errno()

Type Parameter Key Value
DATA_SOURCE 0 rc r vbg_req_perform
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_heartbeat_host_config() -> vbg_status_code_to_errno()

Type Parameter Key Value
DATA_SOURCE 0 rc r vbg_req_perform
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
DATA_SOURCE 0 rc r vbg_req_perform
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_report_driver_status() -> vbg_status_code_to_errno()

Type Parameter Key Value
PARAM_VALUE 0 rc s32min-(-13),(-11)-s32max
FUZZY_MAX 0 rc 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_report_guest_info() -> vbg_status_code_to_errno()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_reset_host_capabilities() -> vbg_status_code_to_errno()

Type Parameter Key Value
DATA_SOURCE 0 rc r vbg_req_perform
RX_PATH
TASK_NOT_RUNNING

drivers/virt/vboxguest/vboxguest_core.c vbg_reset_host_event_filter() -> vbg_status_code_to_errno()

Type Parameter Key Value
DATA_SOURCE 0 rc r vbg_req_perform
RX_PATH
TASK_NOT_RUNNING

drivers/virt/vboxguest/vboxguest_core.c vbg_set_host_capabilities() -> vbg_status_code_to_errno()

Type Parameter Key Value
DATA_SOURCE 0 rc r vbg_req_perform
RX_PATH
TASK_NOT_RUNNING
LOCK2 &gdev->session_mutex
TYPE_LOCK (struct vbg_dev)->session_mutex

drivers/virt/vboxguest/vboxguest_core.c vbg_set_session_event_filter() -> vbg_status_code_to_errno()

Type Parameter Key Value
PARAM_VALUE 0 rc s32min-(-1)
DATA_SOURCE 0 rc r vbg_req_perform
FUZZY_MAX 0 rc (-1)
BIT_INFO 0 rc 0x0,0x7fffffff
HARD_MAX 0 rc (-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &gdev->session_mutex
TYPE_LOCK (struct vbg_dev)->session_mutex

fs/vboxsf/vboxsf_wrappers.c vboxsf_call() -> vbg_status_code_to_errno()

Type Parameter Key Value
PARAM_VALUE 0 rc s32min-0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &vboxsf_setup_mutex

fs/vboxsf/vboxsf_wrappers.c vboxsf_connect() -> vbg_status_code_to_errno()

Type Parameter Key Value
PARAM_VALUE 0 rc s32min-0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &vboxsf_setup_mutex
HALF_LOCKED2 &fc->uapi_mutex