Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 16 files:

Smatch caller information:

drivers/of/fdt.c __unflatten_device_tree() -> fdt_check_header()

Type Parameter Key Value
PARAM_VALUE 0 fdt 1-u64max
DATA_SOURCE 0 fdt $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &of_fdt_unflatten_mutex
HALF_LOCKED2 irq

drivers/of/fdt.c early_init_dt_verify() -> fdt_check_header()

Type Parameter Key Value
PARAM_VALUE 0 fdt 1-u64max
DATA_SOURCE 0 fdt $0
HALF_LOCKED2 irq

drivers/of/overlay.c of_overlay_fdt_apply() -> fdt_check_header()

Type Parameter Key Value
DATA_SOURCE 0 fdt $0
RX_PATH
TASK_NOT_RUNNING

kernel/liveupdate/kexec_handover.c kho_populate() -> fdt_check_header()

Type Parameter Key Value
PARAM_VALUE 0 fdt 18446744073694871552-18446744073696710655
DATA_SOURCE 0 fdt r early_memremap
HALF_LOCKED2 irq