Defined in 2 files as a function:
- arch/x86/include/asm/paravirt.h, line 300 (as a function)
- arch/x86/include/asm/pgalloc.h, line 29 (as a function)
Referenced in 1 files:
Smatch caller information:
arch/x86/mm/pgtable.c ___pmd_free_tlb() -> paravirt_release_pmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pfn | 0-4503599627370495 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pfn | unit_page |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
arch/x86/mm/pgtable.c mop_up_one_pmd() -> paravirt_release_pmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pfn | 0-4503599627370495 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pfn | unit_page |
| HALF_LOCKED2 | &mm->mmap_lock |