init_unavailable_range identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

mm/mm_init.c, line 820 (as a function)

Referenced in 1 files:

mm/mm_init.c
- line 935
- line 974

Smatch caller information:

mm/mm_init.c memmap_init() -> init_unavailable_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	spfn	0-18446744073709551614
PARAM_VALUE	1	epfn	1-u64max
PARAM_VALUE	2	zone	0-4
CAPPED_DATA	0	spfn	1
CAPPED_DATA	0	spfn	1
PARAM_COMPARE	0	spfn	< $1
PARAM_COMPARE	1	epfn	> $0
PARAM_COMPARE	1	epfn	> $0
PARAM_COMPARE	1	epfn	> $0
NOCHECK_CALL
UNITS	0	spfn	unit_page
UNITS	1	epfn	unit_page
LOCK2		irq

mm/mm_init.c memmap_init_zone_range() -> init_unavailable_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	spfn	0-18446744073709551613
PARAM_VALUE	1	epfn	1-18446744073709551614
CAPPED_DATA	0	spfn	1
CAPPED_DATA	1	epfn	1
CAPPED_DATA	1	epfn	1
DATA_SOURCE	1	epfn	$1 [m]
PARAM_COMPARE	0	spfn	< $1
PARAM_COMPARE	1	epfn	> $0
NOCHECK_CALL
UNITS	0	spfn	unit_page
UNITS	1	epfn	unit_page
LOCK2		irq