Defined in 2 files as a prototype:
- include/linux/mm.h, line 4073 (as a prototype)
- tools/testing/memblock/mm_init.h, line 13 (as a prototype)
Defined in 1 files as a function:
Referenced in 9 files:
- arch/alpha/kernel/sys_nautilus.c, line 258
- arch/arm/mm/init.c, line 431
- arch/arm64/mm/init.c, line 397
- arch/x86/mm/init.c, line 936
- arch/x86/platform/efi/quirks.c, line 551
- include/linux/mm.h, line 4106
- init/initramfs.c, line 664
- kernel/liveupdate/kexec_handover.c, line 1893
- mm/memblock.c, line 2593
Smatch caller information:
arch/x86/mm/init.c free_init_pages() -> free_reserved_area()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | end | 4096-u64max |
| PARAM_VALUE | 2 | poison | 204 |
| PARAM_VALUE | 3 | s | 2229265775112318976,2309993246580858880,4891054865034006528,5640676594670755840,8824863167645499392 |
| BUF_SIZE | 3 | s | 7,17,30,38 |
| BUF_SIZE | 3 | s | 7,17,30,38 |
| CAPPED_DATA | 1 | end | 1 |
| CAPPED_DATA | 1 | end | 1 |
| DATA_SOURCE | 0 | start | $1 [m] |
| DATA_SOURCE | 1 | end | $2 [m] |
| DATA_SOURCE | 3 | s | $0 |
| STR_LEN | 0 | start | 6,16,29,37 |
| STR_LEN | 3 | s | 6,16,29,37 |
| TERMINATED | 3 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
init/initramfs.c free_initrd_mem() -> free_reserved_area()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | poison | 204 |
| PARAM_VALUE | 3 | s | 5640676594670755840 |
| BUF_SIZE | 3 | s | 7 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| DATA_SOURCE | 0 | start | $0 |
| DATA_SOURCE | 1 | end | $1 |
| STR_LEN | 0 | start | 6 |
| TERMINATED | 3 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
init/main.c free_initmem_default() -> free_reserved_area()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | start | 8524959590706933760 |
| PARAM_VALUE | 1 | end | 4435886749632204800 |
| PARAM_VALUE | 2 | poison | 204 |
| PARAM_VALUE | 3 | s | 2309993246580858880 |
| BUF_SIZE | 3 | s | 30 |
| DATA_SOURCE | 2 | poison | $0 |
| STR_LEN | 0 | start | 29 |
| TERMINATED | 3 | s | 1 |
arch/x86/platform/efi/quirks.c efi_free_boot_services() -> free_reserved_area()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | poison | (-1) |
| PARAM_VALUE | 3 | s | 0 |
| DATA_SOURCE | 0 | start | r phys_to_virt |
| DATA_SOURCE | 1 | end | r phys_to_virt |
| NOCHECK_CALL |
mm/memblock.c reserve_mem_release_by_name() -> free_reserved_area()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | end | 4096-ptr_max |
| PARAM_VALUE | 2 | poison | 0 |
| PARAM_VALUE | 3 | s | 5903362923694567424 |
| BUF_SIZE | 3 | s | 28 |
| DATA_SOURCE | 0 | start | r phys_to_virt |
| STR_LEN | 0 | start | 27 |
| PARAM_COMPARE | 0 | start | < $1 |
| PARAM_COMPARE | 1 | end | > $0 |
| PARAM_COMPARE | 1 | end | > $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | end | unit_byte |
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem |
kernel/liveupdate/kexec_handover.c kho_init() -> free_reserved_area()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | end | 4096-ptr_max |
| PARAM_VALUE | 2 | poison | (-1) |
| PARAM_VALUE | 3 | s | 4602998933304729600 |
| STR_LEN | 0 | start | 0 |
| PARAM_COMPARE | 0 | start | <= $1 |
| PARAM_COMPARE | 1 | end | >= $0 |
| PARAM_COMPARE | 1 | end | >= $0 |
| TERMINATED | 3 | s | 1 |
| NOCHECK_CALL | |||
| UNITS | 0 | start | unit_byte |
| UNITS | 1 | end | unit_byte |