Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/firmware/efi/libstub/printk.c efi_printk() -> efi_puts()

Type Parameter Key Value
PARAM_VALUE 0 str 8728496662127362048
BUF_SIZE 0 str 11
STR_LEN 0 str 10
TERMINATED 0 str 1
NOCHECK_CALL

drivers/firmware/efi/libstub/printk.c efi_printk() -> efi_puts()

Type Parameter Key Value
PARAM_VALUE 0 str 7944603506914500608
PARAM_VALUE 0 *str (-128)-(-1)
BUF_SIZE 0 str 256
NOCHECK_CALL

drivers/firmware/efi/libstub/printk.c efi_printk() -> efi_puts()

Type Parameter Key Value
PARAM_VALUE 0 str 3490328594864656384
BUF_SIZE 0 str 21
STR_LEN 0 str 20
TERMINATED 0 str 1
NOCHECK_CALL

drivers/firmware/efi/libstub/gop.c choose_mode_list() -> efi_puts()

Type Parameter Key Value
PARAM_VALUE 0 str 8178228339349557248
BUF_SIZE 0 str 40
STR_LEN 0 str 39
TERMINATED 0 str 1
NOCHECK_CALL

drivers/firmware/efi/libstub/gop.c choose_mode_list() -> efi_puts()

Type Parameter Key Value
PARAM_VALUE 0 str 111730637772537856
BUF_SIZE 0 str 49
STR_LEN 0 str 48
TERMINATED 0 str 1
NOCHECK_CALL