Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/e820.c __e820__range_update() -> e820_print_type()

Type Parameter Key Value
PARAM_VALUE 0 type 1-u32max
DATA_SOURCE 0 type $3
NOCHECK_CALL
USER_DATA 0 type 1-u32max
HALF_LOCKED2 irq

arch/x86/kernel/e820.c __e820__range_update() -> e820_print_type()

Type Parameter Key Value
PARAM_VALUE 0 type 1-u32max
DATA_SOURCE 0 type $4
NOCHECK_CALL
USER_DATA 0 type 1-u32max
HALF_LOCKED2 irq

arch/x86/kernel/e820.c e820__print_table() -> e820_print_type()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/e820.c e820__range_remove() -> e820_print_type()

Type Parameter Key Value
PARAM_VALUE 0 type 1-u32max
DATA_SOURCE 0 type $2
NOCHECK_CALL
USER_DATA 0 type 1-u32max
HALF_LOCKED2 irq