Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/xen/enlighten_pv.c xen_load_sp0() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/enlighten_pv.c xen_load_tls() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/enlighten_pv.c xen_set_ldt() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/enlighten_pv.c xen_write_cr0() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c __xen_pgd_pin() -> xen_mc_issue()

Type Parameter Key Value
PARAM_VALUE 0 flush 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 &mm->page_table_lock
HALF_LOCKED2 global &init_mm.page_table_lock
HALF_LOCKED2 global &pgd_lock
TYPE_LOCK (struct mm_struct)->page_table_lock

arch/x86/xen/mmu_pv.c __xen_pgd_unpin() -> xen_mc_issue()

Type Parameter Key Value
PARAM_VALUE 0 flush 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 &mm->page_table_lock
HALF_LOCKED2 global &init_mm.page_table_lock
HALF_LOCKED2 global &pgd_lock
TYPE_LOCK (struct mm_struct)->page_table_lock

arch/x86/xen/mmu_pv.c xen_alloc_ptpage() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_batched_set_pte() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_flush_tlb() -> xen_mc_issue()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_flush_tlb_all() -> xen_mc_issue()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 &mm->mmap_lock

arch/x86/xen/mmu_pv.c xen_flush_tlb_multi() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_flush_tlb_one_user() -> xen_mc_issue()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_ptep_modify_prot_commit() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_release_ptpage() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_remap_exchanged_ptes() -> xen_mc_issue()

Type Parameter Key Value
PARAM_VALUE 0 flush 1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 global &xen_reservation_lock
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_set_p4d() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_set_p4d_hyper() -> xen_mc_issue()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_set_pmd_hyper() -> xen_mc_issue()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_set_pud_hyper() -> xen_mc_issue()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_setup_kernel_pagetable() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_write_cr3() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_write_cr3_init() -> xen_mc_issue()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/mmu_pv.c xen_zap_pfn_range() -> xen_mc_issue()

Type Parameter Key Value
PARAM_VALUE 0 flush 1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 global &xen_reservation_lock
LOCK2 irq