Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/platform/efi/efi.c efi_remove_e820_mmio() -> e820__range_remove()

Type Parameter Key Value
PARAM_VALUE 1 size 262144-18446744073709547520
PARAM_VALUE 2 filter_type 2
FUZZY_MAX 1 size 262144
BIT_INFO 1 size 0x0,0xfffffffffffff000
BIT_INFO 1 size 0x0,0xfffffffffffff000
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 size unit_byte
LOCK2 irq

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

Type Parameter Key Value
DATA_SOURCE 0 start r memparse
DATA_SOURCE 1 size r memparse
DATA_SOURCE 2 filter_type r simple_strtoull
NOCHECK_CALL
USER_DATA 0 start 0-u64max
USER_DATA 1 size 0-u64max
USER_DATA 2 filter_type 0-u32max
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 2 filter_type 1
DATA_SOURCE 0 start r memparse
NOCHECK_CALL
USER_DATA 0 start 0-u64max
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 start 1-u64max
PARAM_VALUE 2 filter_type 1
DATA_SOURCE 0 start r memparse
NOCHECK_CALL
USER_DATA 0 start 1-u64max
HALF_LOCKED2 irq

arch/x86/kernel/setup.c e820_add_kernel_range() -> e820__range_remove()

Type Parameter Key Value
PARAM_VALUE 2 filter_type 0
DATA_SOURCE 0 start r __phys_addr_symbol
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/setup.c trim_bios_range() -> e820__range_remove()

Type Parameter Key Value
PARAM_VALUE 0 start 655360
PARAM_VALUE 1 size 393216
PARAM_VALUE 2 filter_type 1
NOCHECK_CALL
LOCK2 irq