Defined in 3 files as a function:
- arch/powerpc/mm/book3s64/radix_pgtable.c, line 708 (as a function)
- arch/riscv/mm/init.c, line 1509 (as a function)
- arch/x86/mm/init_64.c, line 1041 (as a function)
Referenced in 3 files:
- arch/powerpc/mm/book3s64/radix_pgtable.c, line 888
- arch/riscv/mm/init.c, line 1647
- arch/x86/mm/init_64.c, line 1194
Smatch caller information:
arch/x86/mm/init_64.c remove_pud_table() -> free_pmd_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pud | 4096-ptr_max |
| DATA_SOURCE | 0 | pmd_start | r pmd_offset |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |