Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- arch/arm/mm/mmu.c, line 1203
- arch/arm64/kernel/acpi.c, line 438
- arch/powerpc/mm/book3s64/hash_utils.c, line 441
- arch/powerpc/mm/book3s64/radix_pgtable.c, line 389
- arch/riscv/kernel/acpi.c, line 359
- arch/riscv/mm/init.c
- drivers/firmware/efi/efi-init.c
- drivers/of/of_reserved_mem.c
Smatch caller information:
drivers/of/of_reserved_mem.c early_init_dt_alloc_reserved_memory_arch() -> memblock_mark_nomap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | base | 1-u64max |
| PARAM_VALUE | 1 | size | 0-u32max |
| CAPPED_DATA | 1 | size | 1 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 0 | base | r memblock_phys_alloc_range |
| DATA_SOURCE | 1 | size | $0 |
drivers/of/of_reserved_mem.c early_init_dt_reserve_memory() -> memblock_mark_nomap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | base | 0-u32max |
| PARAM_VALUE | 1 | size | 1-u32max |
| CAPPED_DATA | 0 | base | 1 |
| CAPPED_DATA | 0 | base | 1 |
| DATA_SOURCE | 0 | base | $0 |
| DATA_SOURCE | 1 | size | $1 |