Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/xen/setup.c xen_update_mem_tables() -> HYPERVISOR_mmu_update()

Type Parameter Key Value
PARAM_VALUE 0 req 3295295839272022016
PARAM_VALUE 1 count 1
PARAM_VALUE 2 success_count 0
PARAM_VALUE 3 domid 32752
LOCK2 irq

arch/x86/xen/mmu_pv.c __xen_set_pte() -> HYPERVISOR_mmu_update()

Type Parameter Key Value
PARAM_VALUE 0 req 9196941255661858816
PARAM_VALUE 1 count 1
PARAM_VALUE 2 success_count 0
PARAM_VALUE 3 domid 32752
NOCHECK_CALL

arch/x86/xen/mmu_pv.c xen_remap_pfn() -> HYPERVISOR_mmu_update()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 count s32min-(-1),1-s32max
PARAM_VALUE 2 success_count 71406655277215744
PARAM_VALUE 2 *success_count 0-s32max
DATA_SOURCE 3 domid $6
USER_DATA 1 count s32min-(-1),1-16[c]
USER_DATA 3 domid 0-u16max
HALF_LOCKED2 &mm->mmap_lock