Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/bitmap-str.c bitmap_print_bitmask_to_buf() -> bitmap_print_to_buf()

Type Parameter Key Value
PARAM_VALUE 0 list 0
PARAM_VALUE 1 buf 1-u64max
PARAM_VALUE 3 nmaskbits 0-8193
PARAM_VALUE 5 count 1-4096,8192
BUF_SIZE 1 buf (-1),8192
BUF_SIZE 1 buf (-1),8192
BUF_SIZE 2 maskp (-1),1024
BUF_SIZE 2 maskp (-1),1024
CAPPED_DATA 5 count 1
CAPPED_DATA 5 count 1
DATA_SOURCE 1 buf $0
DATA_SOURCE 2 maskp $1
DATA_SOURCE 3 nmaskbits $2
DATA_SOURCE 4 off $3
DATA_SOURCE 5 count $4
PARAM_COMPARE 1 buf >= $5
BIT_INFO 5 count 0x0,0x7fffffffffffffff
NOSPEC 4 off
NOSPEC 4 off
NOSPEC 5 count
NOSPEC 5 count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 off 0-4095
USER_DATA 5 count 1-4096[c]
UNITS 5 count unit_byte
BYTE_COUNT 1 ==buf5 8050
HALF_LOCKED2 &of->mutex

lib/bitmap-str.c bitmap_print_list_to_buf() -> bitmap_print_to_buf()

Type Parameter Key Value
PARAM_VALUE 0 list 1
PARAM_VALUE 1 buf 1-u64max
PARAM_VALUE 3 nmaskbits 0-8193
PARAM_VALUE 5 count 1-4096,8192
BUF_SIZE 1 buf (-1),8192
BUF_SIZE 1 buf (-1),8192
BUF_SIZE 2 maskp (-1),1024
BUF_SIZE 2 maskp (-1),1024
CAPPED_DATA 5 count 1
CAPPED_DATA 5 count 1
DATA_SOURCE 1 buf $0
DATA_SOURCE 2 maskp $1
DATA_SOURCE 3 nmaskbits $2
DATA_SOURCE 4 off $3
DATA_SOURCE 5 count $4
PARAM_COMPARE 1 buf >= $5
BIT_INFO 5 count 0x0,0x7fffffffffffffff
NOSPEC 4 off
NOSPEC 4 off
NOSPEC 5 count
NOSPEC 5 count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 off 0-4095
USER_DATA 5 count 1-4096[c]
UNITS 4 off unit_byte
UNITS 5 count unit_byte
BYTE_COUNT 1 ==buf5 8050
HALF_LOCKED2 &of->mutex