Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/virtio/virtio_balloon.c update_balloon_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 1 idx 12
PARAM_VALUE 2 tag 4
PARAM_VALUE 3 val 0,4096-18446744073709547520
BUF_SIZE 0 vb s32min-(-1),1-s32max
BUF_SIZE 0 vb s32min-(-1),1-s32max
BUF_SIZE 0 vb->balloon_wq (-1),512,528-8720
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vb unit_byte

drivers/virtio/virtio_balloon.c update_balloon_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 1 idx 13
PARAM_VALUE 2 tag 5
PARAM_VALUE 3 val 0,4096-18446744073709547520
BUF_SIZE 0 vb s32min-(-1),1-s32max
BUF_SIZE 0 vb s32min-(-1),1-s32max
BUF_SIZE 0 vb->balloon_wq (-1),512,528-8720
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vb unit_byte

drivers/virtio/virtio_balloon.c update_balloon_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 1 idx 14
PARAM_VALUE 2 tag 6
PARAM_VALUE 3 val 0,4096-18446744073709547520
BUF_SIZE 0 vb s32min-(-1),1-s32max
BUF_SIZE 0 vb s32min-(-1),1-s32max
BUF_SIZE 0 vb->balloon_wq (-1),512,528-8720
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vb unit_byte

drivers/virtio/virtio_balloon.c update_balloon_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 1 idx 15
PARAM_VALUE 2 tag 7
PARAM_VALUE 3 val 0,4096-18446744073709547520
BUF_SIZE 0 vb s32min-(-1),1-s32max
BUF_SIZE 0 vb s32min-(-1),1-s32max
BUF_SIZE 0 vb->balloon_wq (-1),512,528-8720
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vb unit_byte

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 0
PARAM_VALUE 2 tag 0
PARAM_VALUE 3 val 0,4096-18446744073709547520
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 1
PARAM_VALUE 2 tag 1
PARAM_VALUE 3 val 0,4096-18446744073709547520
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 2
PARAM_VALUE 2 tag 2
DATA_SOURCE 0 vb $0
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 3
PARAM_VALUE 2 tag 3
DATA_SOURCE 0 vb $0
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 4
PARAM_VALUE 2 tag 10
DATA_SOURCE 0 vb $0
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 5
PARAM_VALUE 2 tag 11
DATA_SOURCE 0 vb $0
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 6
PARAM_VALUE 2 tag 12
PARAM_VALUE 3 val 0,4096-18446744073709547520
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 7
PARAM_VALUE 2 tag 13
PARAM_VALUE 3 val 0,4096-18446744073709547520
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 8
PARAM_VALUE 2 tag 14
PARAM_VALUE 3 val 0,4096-18446744073709547520
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 9
PARAM_VALUE 2 tag 15
PARAM_VALUE 3 val 0,4096-18446744073709547520
DATA_SOURCE 0 vb $0
BIT_INFO 3 val 0x0,0xfffffffffffff000
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 10
PARAM_VALUE 2 tag 8
DATA_SOURCE 0 vb $0
NOCHECK_CALL

drivers/virtio/virtio_balloon.c update_balloon_vm_stats() -> update_stat()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 1 idx 11
PARAM_VALUE 2 tag 9
DATA_SOURCE 0 vb $0
NOCHECK_CALL