Defined in 2 files as a function:
- arch/x86/include/asm/tlb.h, line 81 (as a function)
- arch/x86/include/asm/tlb.h, line 116 (as a function)
Referenced in 1 files:
Smatch caller information:
arch/x86/mm/tlb.c __invlpgb_all() -> __invlpgb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asid | 0 |
| PARAM_VALUE | 1 | pcid | 0-u16max |
| PARAM_VALUE | 2 | addr | 0 |
| PARAM_VALUE | 3 | nr_pages | 1 |
| PARAM_VALUE | 4 | stride | 0 |
| PARAM_VALUE | 5 | flags | 0,2,8 |
| DATA_SOURCE | 0 | asid | $0 |
| DATA_SOURCE | 1 | pcid | $1 |
| DATA_SOURCE | 5 | flags | $2 |
| HARD_MAX | 5 | flags | 8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
arch/x86/mm/tlb.c invlpgb_flush_addr_nosync() -> __invlpgb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asid | 0 |
| PARAM_VALUE | 1 | pcid | 0 |
| PARAM_VALUE | 2 | addr | 0-18446744073709551613 |
| PARAM_VALUE | 4 | stride | 0 |
| PARAM_VALUE | 5 | flags | 8 |
| CAPPED_DATA | 2 | addr | 1 |
| CAPPED_DATA | 2 | addr | 1 |
| CAPPED_DATA | 3 | nr_pages | 1 |
| DATA_SOURCE | 2 | addr | $0 |
| DATA_SOURCE | 3 | nr_pages | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | addr | 0-18446744073709551613[c] |
| USER_DATA | 3 | nr_pages | 2-65534[c] |
| UNITS | 2 | addr | unit_byte |
| UNITS | 3 | nr_pages | unit_page |
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &init_mm.page_table_lock | ||
| HALF_LOCKED2 | global &pcpu_alloc_mutex | ||
| HALF_LOCKED2 | global &vmap_purge_lock |
arch/x86/mm/tlb.c invlpgb_flush_user_nr_nosync() -> __invlpgb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asid | 0 |
| PARAM_VALUE | 1 | pcid | 0-u16max |
| PARAM_VALUE | 4 | stride | 0-1 |
| PARAM_VALUE | 5 | flags | 3 |
| CAPPED_DATA | 3 | nr_pages | 1 |
| DATA_SOURCE | 1 | pcid | $0 |
| DATA_SOURCE | 2 | addr | $1 |
| DATA_SOURCE | 3 | nr_pages | $2 |
| FUZZY_MAX | 4 | stride | 1 |
| HARD_MAX | 4 | stride | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ctx->map_changing_lock | ||
| HALF_LOCKED2 | &mm->context.ldt_usr_sem | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | old_ptl | ||
| HALF_LOCKED2 | pml | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | vmf->ptl |