Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

crypto/testmgr.c flip_random_bit() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c flip_random_byte() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
CAPPED_DATA 1 ceil 1
DATA_SOURCE 0 ceil $0
DATA_SOURCE 1 ceil $2
UNITS 1 ceil unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_aead_message() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_aead_testvec() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_aead_testvec() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 1-256
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_aead_testvec() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_aead_testvec() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_aead_testvec() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_bytes() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 8
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_bytes() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_cipher_testvec() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4068083080766955520
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_cipher_testvec() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4068083080766955520
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_hash_testvec() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 7334138514930450432
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_length() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
DATA_SOURCE 0 ceil $0
UNITS 1 ceil unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_length() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_length() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_sgl_divisions() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_sgl_divisions() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_sgl_divisions() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 32
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_sgl_divisions() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4096
DATA_SOURCE 0 ceil $0
UNITS 1 ceil unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_sgl_divisions() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 8
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_sgl_divisions() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_testvec_config() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_testvec_config() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c mutate_buffer() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c mutate_buffer() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 8
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c mutate_buffer() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 4
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c mutate_buffer() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 8
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c prandom_bool() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
PARAM_VALUE 1 ceil 2
DATA_SOURCE 0 ceil $0
HALF_LOCKED2 global &once_lock

crypto/testmgr.c prandom_u32_inclusive() -> prandom_u32_below()

Type Parameter Key Value
PARAM_VALUE 0 ceil 4096-ptr_max
DATA_SOURCE 0 ceil $0
UNITS 1 ceil unit_byte
HALF_LOCKED2 global &once_lock

kernel/locking/test-ww_mutex.c get_random_order() -> prandom_u32_below()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock