Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 21 files:
- arch/arm/kernel/setup.c, line 840
- arch/arm/mach-realtek/rtd1195.c, line 15
- arch/arm/mm/init.c, line 159
- arch/arm/mm/mmu.c, line 1266
- arch/arm/mm/pmsa-v7.c
- arch/arm/mm/pmsa-v8.c, line 120
- arch/arm64/mm/init.c
- arch/loongarch/kernel/setup.c, line 217
- arch/mips/kernel/setup.c, line 362
- arch/mips/mm/init.c, line 433
- arch/powerpc/platforms/pseries/hotplug-memory.c
- arch/s390/kernel/setup.c, line 655
- arch/sh/boards/mach-ap325rxa/setup.c, line 565
- arch/sh/boards/mach-ecovec24/setup.c
- arch/sh/boards/mach-kfr2r09/setup.c, line 637
- arch/sh/boards/mach-migor/setup.c, line 637
- arch/sh/boards/mach-se/7724/setup.c
- arch/x86/kernel/e820.c, line 1374
- drivers/firmware/efi/efi-init.c
- mm/memory_hotplug.c
- tools/testing/memblock/tests/basic_api.c
Smatch caller information:
mm/memory_hotplug.c __add_memory_resource() -> memblock_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u64max |
| DATA_SOURCE | 1 | size | r resource_size |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | base | unit_byte |
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | global &device_hotplug_lock |
mm/memory_hotplug.c try_remove_memory() -> memblock_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-u64max |
| DATA_SOURCE | 0 | base | $0 |
| DATA_SOURCE | 1 | size | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | base | unit_byte |
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | global &device_hotplug_lock |