Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

arch/x86/mm/init_64.c phys_p4d_init() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 0,549755813888-u64max
PARAM_VALUE 2 type 1
CAPPED_DATA 0 start 1
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end r __phys_addr
BIT_INFO 0 start 0x0,0xffffff8000000000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/mm/init_64.c phys_p4d_init() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 0,549755813888-u64max
PARAM_VALUE 2 type 3
CAPPED_DATA 0 start 1
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end r __phys_addr
BIT_INFO 0 start 0x0,0xffffff8000000000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/mm/init_64.c phys_pmd_init() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 2097152
PARAM_VALUE 1 end 2097152
PARAM_VALUE 2 type 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/mm/init_64.c phys_pmd_init() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 2097152
PARAM_VALUE 1 end 2097152
PARAM_VALUE 2 type 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/mm/init_64.c phys_pte_init() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 4096
PARAM_VALUE 1 end 4096
PARAM_VALUE 2 type 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 end unit_byte
HALF_LOCKED2 global &init_mm.page_table_lock
HALF_LOCKED2 irq

arch/x86/mm/init_64.c phys_pte_init() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 4096
PARAM_VALUE 1 end 4096
PARAM_VALUE 2 type 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 end unit_byte
HALF_LOCKED2 global &init_mm.page_table_lock
HALF_LOCKED2 irq

arch/x86/mm/init_64.c phys_pud_init() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 0,1073741824-u64max
PARAM_VALUE 1 end 1073741824
PARAM_VALUE 2 type 1
CAPPED_DATA 0 start 1
BIT_INFO 0 start 0x0,0xffffffffc0000000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/mm/init_64.c phys_pud_init() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 0,1073741824-u64max
PARAM_VALUE 1 end 1073741824
PARAM_VALUE 2 type 3
CAPPED_DATA 0 start 1
BIT_INFO 0 start 0x0,0xffffffffc0000000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/kernel/aperture_64.c aperture_valid() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 1-u64max
PARAM_VALUE 1 end 0-4294967296
PARAM_VALUE 2 type 1
DATA_SOURCE 0 start $0
HOST_DATA 0 start 1-u64max
LOCK2 irq

arch/x86/kernel/aperture_64.c early_gart_iommu_check() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 33554432-1099478073344
PARAM_VALUE 1 end 33554433-4294967296
PARAM_VALUE 2 type 1
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
HOST_DATA 0 start 33554432-1099478073344[c]
LOCK2 irq

arch/x86/kernel/tboot.c tboot_probe() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 1-u64max
PARAM_VALUE 1 end 1-u64max
PARAM_VALUE 2 type 2
LOCK2 irq

drivers/char/agp/amd64-agp.c aperture_valid() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 1-u64max
PARAM_VALUE 1 end 0-4294967296
PARAM_VALUE 2 type 1
DATA_SOURCE 0 start $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &agp->dev.mutex
HALF_LOCKED2 &pool->lock

arch/x86/kernel/cpu/bugs.c l1tf_apply_mitigation() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 34359738368,8796093022208,9223372036854775808
PARAM_VALUE 1 end 9223372036854775807,18446735277616529407,18446744039349813247
PARAM_VALUE 2 type 1
BIT_INFO 0 start 0x0,0xfffffffffffff000
BIT_INFO 0 start 0x0,0xfffffffffffff000
UNITS 0 start unit_byte
UNITS 1 end unit_byte

arch/x86/virt/svm/sev.c __snp_fixup_e820_tables() -> e820__mapped_any()

Type Parameter Key Value
PARAM_VALUE 0 start 0,2097152-u64max
PARAM_VALUE 1 end 2097152
PARAM_VALUE 2 type 1
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
BIT_INFO 0 start 0x0,0xffffffffffe00000
BIT_INFO 0 start 0x0,0xffffffffffe00000
LOCK2 irq