Defined in 1 files as a prototype:

Referenced in 6 files:

Smatch caller information:

fs/vboxsf/dir.c vboxsf_dir_emit() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 993015069901803520
BUF_SIZE 0 fmt 43
STR_LEN 0 fmt 42
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &dir_fp->readdir_lock
TYPE_LOCK (struct inode)->i_rwsem

drivers/virt/vboxguest/vboxguest_core.c vbg_acquire_session_capabilities() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 7204275088660619264
BUF_SIZE 0 fmt 55
BUF_SIZE 1 $ 33
STR_LEN 0 fmt 54
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &gdev->session_mutex
TYPE_LOCK (struct vbg_dev)->session_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 fmt 7528960721675350016
PARAM_VALUE 2 $ s32min-(-1)
BUF_SIZE 0 fmt 18
BUF_SIZE 1 $ 20
DATA_SOURCE 2 $ r vbg_req_perform
FUZZY_MAX 2 $ (-1)
STR_LEN 0 fmt 17
BIT_INFO 2 $ 0x0,0x7fffffff
TERMINATED 0 fmt 1
HARD_MAX 2 $ (-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 fmt 7528960721675350016
PARAM_VALUE 2 $ s32min-(-1)
BUF_SIZE 0 fmt 18
BUF_SIZE 1 $ 20
DATA_SOURCE 2 $ r vbg_req_perform
FUZZY_MAX 2 $ (-1)
STR_LEN 0 fmt 17
BIT_INFO 2 $ 0x0,0x7fffffff
TERMINATED 0 fmt 1
HARD_MAX 2 $ (-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_balloon_work() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8921030465297448960
PARAM_VALUE 2 $ s32min-(-1)
BUF_SIZE 0 fmt 19
BUF_SIZE 1 $ 17
DATA_SOURCE 2 $ r vbg_req_perform
FUZZY_MAX 2 $ (-1)
STR_LEN 0 fmt 18
BIT_INFO 2 $ 0x0,0x7fffffff
TERMINATED 0 fmt 1
HARD_MAX 2 $ (-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_balloon_work() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 3217764351369691136
PARAM_VALUE 2 $ 1-u32max
PARAM_VALUE 3 $ 0-4294967294
BUF_SIZE 0 fmt 38
BUF_SIZE 1 $ 17
CAPPED_DATA 3 $ 1
STR_LEN 0 fmt 37
PARAM_COMPARE 2 $ > $3
PARAM_COMPARE 3 $ < $2
TERMINATED 0 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 $
UNITS 2 $ unit_array_size
UNITS 3 $ unit_array_size
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8084056371686797312
PARAM_VALUE 1 $ (-124)-(-123),(-115)-(-88),(-84),(-76),(-71),(-64),(-61),(-40)-(-35),(-32),(-30)-(-25),(-23)-(-20),(-18)-(-16),(-14),(-12)-(-11),(-9)-(-7),(-5)-(-1)
BUF_SIZE 0 fmt 44
DATA_SOURCE 1 $ r vbg_report_guest_info
STR_LEN 0 fmt 43
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 197309544522059776
PARAM_VALUE 1 $ (-124)-(-123),(-115)-(-88),(-84),(-76),(-71),(-64),(-61),(-40)-(-35),(-32),(-30)-(-25),(-23)-(-20),(-18)-(-16),(-14),(-12)-(-11),(-9)-(-7),(-5)-(-1)
BUF_SIZE 0 fmt 49
DATA_SOURCE 1 $ r vbg_reset_host_event_filter
STR_LEN 0 fmt 48
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 917906858929451008
PARAM_VALUE 1 $ (-124)-(-123),(-115)-(-88),(-84),(-76),(-71),(-64),(-61),(-40)-(-35),(-32),(-30)-(-25),(-23)-(-20),(-18)-(-16),(-14),(-12)-(-11),(-9)-(-7),(-5)-(-1)
BUF_SIZE 0 fmt 50
DATA_SOURCE 1 $ r vbg_reset_host_capabilities
STR_LEN 0 fmt 49
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 2899143035079294976
PARAM_VALUE 1 $ (-124)-(-123),(-115)-(-88),(-84),(-76),(-71),(-64),(-61),(-40)-(-35),(-32),(-30)-(-25),(-23)-(-20),(-18)-(-16),(-14),(-12)-(-11),(-9)-(-7),(-5)-(-1)
BUF_SIZE 0 fmt 44
DATA_SOURCE 1 $ r vbg_core_set_mouse_status
STR_LEN 0 fmt 43
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 1811507351694622720
PARAM_VALUE 1 $ (-124)-(-123),(-115)-(-88),(-84),(-76),(-71),(-64),(-61),(-40)-(-35),(-32),(-30)-(-25),(-23)-(-20),(-18)-(-16),(-14),(-12)-(-11),(-9)-(-7),(-5)-(-1)
BUF_SIZE 0 fmt 46
DATA_SOURCE 1 $ r vbg_report_driver_status
STR_LEN 0 fmt 45
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_core_isr() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6404035395337682944
PARAM_VALUE 1 $ s32min-(-1)
BUF_SIZE 0 fmt 37
DATA_SOURCE 1 $ r vbg_req_perform
FUZZY_MAX 1 $ (-1)
STR_LEN 0 fmt 36
BIT_INFO 1 $ 0x0,0x7fffffff
TERMINATED 0 fmt 1
HARD_MAX 1 $ (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 fmt 7528960721675350016
PARAM_VALUE 2 $ s32min-(-1)
BUF_SIZE 0 fmt 18
BUF_SIZE 1 $ 26
DATA_SOURCE 2 $ r vbg_req_perform
FUZZY_MAX 2 $ (-1)
STR_LEN 0 fmt 17
BIT_INFO 2 $ 0x0,0x7fffffff
TERMINATED 0 fmt 1
HARD_MAX 2 $ (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_guest_mappings_exit() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 7836861770422398976
PARAM_VALUE 2 $ s32min-(-1)
BUF_SIZE 0 fmt 14
BUF_SIZE 1 $ 24
DATA_SOURCE 2 $ r vbg_req_perform
FUZZY_MAX 2 $ (-1)
STR_LEN 0 fmt 13
BIT_INFO 2 $ 0x0,0x7fffffff
TERMINATED 0 fmt 1
HARD_MAX 2 $ (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_ioctl_hgcm_call() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6204913386611126272
PARAM_VALUE 1 $ (-22),(-14),(-12)
BUF_SIZE 0 fmt 31
STR_LEN 0 fmt 30
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fmt 7836861770422398976
PARAM_VALUE 2 $ s32min-(-1)
BUF_SIZE 0 fmt 14
BUF_SIZE 1 $ 23
DATA_SOURCE 2 $ r vbg_req_perform
STR_LEN 0 fmt 13
BIT_INFO 2 $ 0x0,0x7fffffff
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 $ unit_array_size
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 fmt 4595904363458281472
BUF_SIZE 0 fmt 61
STR_LEN 0 fmt 60
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_req_allowed() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 7239476427236298752
PARAM_VALUE 1 $ 20,2147483646
BUF_SIZE 0 fmt 61
STR_LEN 0 fmt 60
TERMINATED 0 fmt 1
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_req_allowed() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 3347271336927080448
PARAM_VALUE 1 $ 0,6-9,11-29,31-40,43-50,56,58,60-69,75-79,82-99,102-109,111,113-149,151-199,201-209,219-221,223-u32max
BUF_SIZE 0 fmt 39
STR_LEN 0 fmt 38
TERMINATED 0 fmt 1
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_req_allowed() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6887312504295071744
PARAM_VALUE 1 $ 55,74,100-101,110,112,210-216,218
BUF_SIZE 0 fmt 68
STR_LEN 0 fmt 67
TERMINATED 0 fmt 1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fmt 7528960721675350016
PARAM_VALUE 2 $ s32min-(-1)
BUF_SIZE 0 fmt 18
BUF_SIZE 1 $ 28
DATA_SOURCE 2 $ r vbg_req_perform
FUZZY_MAX 2 $ (-1)
STR_LEN 0 fmt 17
BIT_INFO 2 $ 0x0,0x7fffffff
TERMINATED 0 fmt 1
HARD_MAX 2 $ (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fmt 7528960721675350016
PARAM_VALUE 2 $ s32min-(-1)
BUF_SIZE 0 fmt 18
BUF_SIZE 1 $ 28
DATA_SOURCE 2 $ r vbg_req_perform
FUZZY_MAX 2 $ (-1)
STR_LEN 0 fmt 17
BIT_INFO 2 $ 0x0,0x7fffffff
TERMINATED 0 fmt 1
HARD_MAX 2 $ (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_set_session_capabilities() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 3141591366524866560
BUF_SIZE 0 fmt 53
BUF_SIZE 1 $ 29
STR_LEN 0 fmt 52
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &gdev->session_mutex
TYPE_LOCK (struct vbg_dev)->session_mutex

fs/vboxsf/super.c vboxsf_fill_super() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8840865048045875200
PARAM_VALUE 1 $ 1-1352469925759787007,1352469925759787009-u64max
BUF_SIZE 0 fmt 33
STR_LEN 0 fmt 32
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

fs/vboxsf/super.c vboxsf_fill_super() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6278896962260226048
PARAM_VALUE 1 $ 1-u64max
PARAM_VALUE 2 $ (-124)-(-123),(-115)-(-88),(-84),(-76),(-71),(-64),(-61),(-40)-(-35),(-32),(-30)-(-25),(-23)-(-20),(-18)-(-16),(-14),(-12)-(-11),(-9)-(-7),(-5)-(-1)
BUF_SIZE 0 fmt 51
BUF_SIZE 1 $ 3-4004097
DATA_SOURCE 2 $ r vboxsf_map_folder
STR_LEN 0 fmt 50
STR_LEN 1 $ 0-18446744073709551613
BIT_INFO 2 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *$ 0-255
HALF_LOCKED2 &fc->uapi_mutex

fs/vboxsf/super.c vboxsf_parse_monolithic() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 3463580311095193600
BUF_SIZE 0 fmt 107
STR_LEN 0 fmt 106
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount

fs/vboxsf/super.c vboxsf_parse_param() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6095416529706528768
BUF_SIZE 0 fmt 39
STR_LEN 0 fmt 38
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

fs/vboxsf/super.c vboxsf_setup() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 5902036556808884224
PARAM_VALUE 1 $ (-124)-(-123),(-115)-(-88),(-84),(-76),(-71),(-64),(-61),(-40)-(-35),(-32),(-30)-(-25),(-23)-(-16),(-14),(-12)-(-11),(-9)-(-7),(-5)-(-1)
BUF_SIZE 0 fmt 47
DATA_SOURCE 1 $ r vboxsf_connect
STR_LEN 0 fmt 46
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vboxsf_setup_mutex
HALF_LOCKED2 &fc->uapi_mutex

fs/vboxsf/super.c vboxsf_setup() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8967814886805565440
BUF_SIZE 0 fmt 50
STR_LEN 0 fmt 49
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vboxsf_setup_mutex
HALF_LOCKED2 &fc->uapi_mutex

fs/vboxsf/super.c vboxsf_setup() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4502540392153055232
BUF_SIZE 0 fmt 46
STR_LEN 0 fmt 45
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vboxsf_setup_mutex
HALF_LOCKED2 &fc->uapi_mutex

fs/vboxsf/super.c vboxsf_setup() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 9142208471607578624
PARAM_VALUE 1 $ (-124)-(-123),(-115)-(-88),(-84),(-76),(-71),(-64),(-61),(-40)-(-35),(-32),(-30)-(-25),(-23)-(-20),(-18)-(-16),(-14),(-12)-(-11),(-9)-(-7),(-5)-(-1)
BUF_SIZE 0 fmt 25
DATA_SOURCE 1 $ r vboxsf_set_utf8
STR_LEN 0 fmt 24
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vboxsf_setup_mutex
HALF_LOCKED2 &fc->uapi_mutex

drivers/virt/vboxguest/vboxguest_utils.c vbg_hgcm_do_call() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 3186947421290086400
BUF_SIZE 0 fmt 64
BUF_SIZE 1 $ 17
STR_LEN 0 fmt 63
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &vbg_gdev_mutex

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8290468895982891008
PARAM_VALUE 1 $ (-28),(-22)
BUF_SIZE 0 fmt 38
DATA_SOURCE 1 $ r pci_enable_device
STR_LEN 0 fmt 37
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8357974684445564928
BUF_SIZE 0 fmt 50
STR_LEN 0 fmt 49
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 1258942669352673280
BUF_SIZE 0 fmt 46
STR_LEN 0 fmt 45
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 912782858239324160
BUF_SIZE 0 fmt 47
STR_LEN 0 fmt 46
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 2249792126370275328
BUF_SIZE 0 fmt 48
STR_LEN 0 fmt 47
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 3978957470627647488
PARAM_VALUE 1 $ 1810330375086592000
PARAM_VALUE 1 *$ 1-u64max
PARAM_VALUE 2 $ 3840562094761246720
PARAM_VALUE 2 *$ 1-u64max
BUF_SIZE 0 fmt 59
BUF_SIZE 1 $ 8
BUF_SIZE 2 $ 8
STR_LEN 0 fmt 58
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 2481808204570587136
PARAM_VALUE 2 $ 1
BUF_SIZE 0 fmt 87
CAPPED_DATA 4 $ 1
CAPPED_DATA 4 $ 1
STR_LEN 0 fmt 86
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8901935688075468800
PARAM_VALUE 1 $ (-4095)-(-1)
BUF_SIZE 0 fmt 44
DATA_SOURCE 1 $ r vbg_create_input_device
STR_LEN 0 fmt 43
BIT_INFO 1 $ 0x0,0x0
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 2061589717980590080
PARAM_VALUE 1 $ s32min-(-1),1-s32max
BUF_SIZE 0 fmt 37
DATA_SOURCE 1 $ r request_irq
STR_LEN 0 fmt 36
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 2273733471422238720
PARAM_VALUE 1 $ 6594749389493854208
PARAM_VALUE 2 $ (-4095)-(-1)
BUF_SIZE 0 fmt 46
BUF_SIZE 1 $ 10
DATA_SOURCE 2 $ r misc_register
STR_LEN 0 fmt 45
STR_LEN 1 $ 9
BIT_INFO 2 $ 0x0,0x0
TERMINATED 0 fmt 1
TERMINATED 1 $ 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 2273733471422238720
PARAM_VALUE 1 $ 157592475499134976
PARAM_VALUE 2 $ (-4095)-(-1)
BUF_SIZE 0 fmt 46
BUF_SIZE 1 $ 9
DATA_SOURCE 2 $ r misc_register
STR_LEN 0 fmt 45
STR_LEN 1 $ 8
BIT_INFO 2 $ 0x0,0x0
TERMINATED 0 fmt 1
TERMINATED 1 $ 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_linux.c vbg_pci_probe() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 2616597966079504384
BUF_SIZE 0 fmt 52
STR_LEN 0 fmt 51
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/vboxsf/vboxsf_wrappers.c vboxsf_map_folder() -> vbg_err()

Type Parameter Key Value
PARAM_VALUE 0 fmt 486442061643358208
BUF_SIZE 0 fmt 27
BUF_SIZE 1 $ 18
STR_LEN 0 fmt 26
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount