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

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

arch/x86/mm/init_64.c, line 740 (as a function)

Referenced in 1 files:

arch/x86/mm/init_64.c
- line 801
- line 816

Smatch caller information:

arch/x86/mm/init_64.c kernel_physical_mapping_change() -> __kernel_physical_mapping_init()

Type	Parameter	Key	Value
PARAM_VALUE	2	page_size_mask	0,4
PARAM_VALUE	4	init	0
CAPPED_DATA	0	paddr_start	1
CAPPED_DATA	0	paddr_start	1
CAPPED_DATA	1	paddr_end	1
CAPPED_DATA	1	paddr_end	1
DATA_SOURCE	0	paddr_start	$0
DATA_SOURCE	1	paddr_end	$1
DATA_SOURCE	2	page_size_mask	$2
BIT_INFO	2	page_size_mask	0x0,0x4
BIT_INFO	2	page_size_mask	0x0,0x4
HALF_LOCKED2		irq

arch/x86/mm/init_64.c kernel_physical_mapping_init() -> __kernel_physical_mapping_init()

Type	Parameter	Key	Value
PARAM_VALUE	2	page_size_mask	0-u32max
PARAM_VALUE	4	init	1
DATA_SOURCE	0	paddr_start	$0
DATA_SOURCE	1	paddr_end	$1
DATA_SOURCE	2	page_size_mask	$2
DATA_SOURCE	3	prot	$3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS	0	paddr_start	unit_byte
UNITS	1	paddr_end	unit_byte
HALF_LOCKED2		irq