Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/efi/capsule.c efi_capsule_supported() -> (struct efi)->query_capsule_caps()

Type Parameter Key Value
PARAM_VALUE 0 capsules 4096-ptr_max
PARAM_VALUE 1 count 1
PARAM_VALUE 2 max_size 7954950863593660416
PARAM_VALUE 3 reset_type 4096-ptr_max
DATA_SOURCE 3 reset_type $3

drivers/firmware/efi/test/efi_test.c efi_runtime_query_capsulecaps() -> (struct efi)->query_capsule_caps()

Type Parameter Key Value
PARAM_VALUE 0 capsules 1657732470897213440
PARAM_VALUE 0 *capsules 4096-ptr_max
PARAM_VALUE 1 count 0-18446744073709551614
PARAM_VALUE 2 max_size 8266743048988815360
PARAM_VALUE 3 reset_type 2425590882853507072
BUF_SIZE 0 capsules 8
BUF_SIZE 0 *capsules 0-u64max
CAPPED_DATA 1 count 1
CAPPED_DATA 1 count 1
FUZZY_MAX 1 count 1
USER_DATA 1 count 0-s32max[c]