Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

arch/x86/xen/p2m.c clear_foreign_p2m_mapping() -> set_phys_to_machine()

Type Parameter Key Value
PARAM_VALUE 1 mfn u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/xen/p2m.c set_foreign_p2m_mapping() -> set_phys_to_machine()

Type Parameter Key Value
PARAM_VALUE 1 mfn 9223372036854775808-9227875636482146303
BIT_INFO 1 mfn 0x8000000000000000,0x800fffffffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &evtchnl->u.req.req_io_lock

arch/x86/xen/p2m.c xen_do_remap_nonram() -> set_phys_to_machine()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-4503599627370494
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
LOCK2 irq

drivers/xen/mem-reservation.c __xenmem_reservation_va_mapping_update() -> set_phys_to_machine()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &balloon_mutex

drivers/xen/balloon.c reserve_additional_memory() -> set_phys_to_machine()

Type Parameter Key Value
PARAM_VALUE 1 mfn u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &balloon_mutex

arch/x86/xen/setup.c xen_inv_extra_mem() -> set_phys_to_machine()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-18446744073709551614
PARAM_VALUE 1 mfn u64max
CAPPED_DATA 0 pfn 1
CAPPED_DATA 0 pfn 1
NOCHECK_CALL
UNITS 0 pfn unit_page
LOCK2 irq

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

Type Parameter Key Value
DATA_SOURCE 0 pfn $0
DATA_SOURCE 1 mfn $1
UNITS 1 mfn unit_page
LOCK2 irq

drivers/xen/unpopulated-alloc.c fill_list() -> set_phys_to_machine()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-4503603922337790
PARAM_VALUE 1 mfn u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &list_lock
HALF_LOCKED2 &mm->mmap_lock

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

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-4503599627370495
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 global &xen_reservation_lock
LOCK2 irq