Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/mm/init.c memory_map_bottom_up() -> init_range_memory_mapping()

Type Parameter Key Value
PARAM_VALUE 0 r_start 0-18446744073709551614
CAPPED_DATA 0 r_start 1
CAPPED_DATA 0 r_start 1
CAPPED_DATA 1 r_end 1
CAPPED_DATA 1 r_end 1
UNITS 0 r_start unit_byte
UNITS 1 r_end unit_byte
LOCK2 irq

arch/x86/mm/init.c memory_map_top_down() -> init_range_memory_mapping()

Type Parameter Key Value
PARAM_VALUE 0 r_start 1048576-u64max
PARAM_VALUE 1 r_end 1048577-u64max
CAPPED_DATA 0 r_start 1
CAPPED_DATA 0 r_start 1
FUZZY_MAX 0 r_start 1048576
UNITS 0 r_start unit_byte
UNITS 1 r_end unit_byte
LOCK2 irq

arch/x86/mm/init.c memory_map_top_down() -> init_range_memory_mapping()

Type Parameter Key Value
PARAM_VALUE 0 r_start 0-4503599627370495
PARAM_VALUE 1 r_end 4096-4503599627370496
CAPPED_DATA 0 r_start 1
CAPPED_DATA 0 r_start 1
DATA_SOURCE 1 r_end $1
PARAM_COMPARE 0 r_start < $1
PARAM_COMPARE 1 r_end > $0
PARAM_COMPARE 1 r_end > $0
BIT_INFO 1 r_end 0x0,0x1ffffffffff000
BIT_INFO 1 r_end 0x0,0x1ffffffffff000
NOCHECK_CALL
UNITS 0 r_start unit_byte
UNITS 1 r_end unit_byte
LOCK2 irq