Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/e820.c e820__memblock_alloc_reserved() -> e820__range_update_table()

Type Parameter Key Value
PARAM_VALUE 1 start 1-u64max
PARAM_VALUE 3 old_type 1
PARAM_VALUE 4 new_type 2
DATA_SOURCE 1 start r memblock_phys_alloc
DATA_SOURCE 2 size $0
NOCHECK_CALL
LOCK2 irq

arch/x86/virt/svm/sev.c __snp_fixup_e820_tables() -> e820__range_update_table()

Type Parameter Key Value
PARAM_VALUE 2 size 2097152
PARAM_VALUE 3 old_type 1
PARAM_VALUE 4 new_type 2
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
BIT_INFO 1 start 0x0,0xffffffffffe00000
BIT_INFO 1 start 0x0,0xffffffffffe00000
NOCHECK_CALL
LOCK2 irq