Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/firmware/sysfb_simplefb.c sysfb_create_simplefb() -> sysfb_set_efifb_fwnode()

Type Parameter Key Value
PARAM_VALUE 0 si 8120101424662679552
PARAM_VALUE 0 si->orig_video_isVGA 112
PARAM_VALUE 1 pd 4096-ptr_max
BUF_SIZE 0 si 64
BUF_SIZE 1 pd 1688
DATA_SOURCE 0 si $0
DATA_SOURCE 1 pd r platform_device_alloc
BIT_INFO 0 si->capabilities 0x0,0x3
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 pd->pdev.id
LOCK2 global &disable_lock

drivers/firmware/sysfb.c sysfb_init() -> sysfb_set_efifb_fwnode()

Type Parameter Key Value
PARAM_VALUE 0 si 8120101424662679552
PARAM_VALUE 0 si->orig_video_isVGA 112
PARAM_VALUE 1 pd 4096-ptr_max
BUF_SIZE 0 si 64
BUF_SIZE 1 pd 1688
DATA_SOURCE 1 pd r platform_device_alloc
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 pd->num_resources
NO_OVERFLOW_SIMPLE 1 pd->pdev.id
LOCK2 global &disable_lock