Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memblock.c memmap_init_reserved_pages() -> memmap_init_reserved_range()

Type Parameter Key Value
PARAM_COMPARE 0 start <= $1
PARAM_COMPARE 1 end >= $0
PARAM_COMPARE 1 end >= $0
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
LOCK2 irq

mm/memblock.c memmap_init_reserved_pages() -> memmap_init_reserved_range()

Type Parameter Key Value
PARAM_VALUE 2 nid 0-s32max
PARAM_COMPARE 0 start <= $1
PARAM_COMPARE 1 end >= $0
PARAM_COMPARE 1 end >= $0
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
LOCK2 irq