Defined in 3 files as a prototype:
- arch/x86/include/asm/xen/page.h, line 60 (as a prototype)
- arch/x86/xen/xen-ops.h, line 255 (as a prototype)
- include/xen/arm/page.h, line 103 (as a prototype)
Defined in 2 files as a function:
Referenced in 6 files:
- arch/arm/xen/p2m.c, line 203
- arch/x86/xen/mmu_pv.c, line 2242
- arch/x86/xen/p2m.c
- arch/x86/xen/setup.c, line 236
- drivers/xen/mem-reservation.c, line 79
- include/xen/arm/page.h, line 109
Smatch caller information:
arch/x86/xen/p2m.c set_phys_to_machine() -> __set_phys_to_machine()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pfn | $0 |
| DATA_SOURCE | 1 | mfn | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | pfn | unit_page |
| UNITS | 1 | mfn | unit_page |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &balloon_mutex | ||
| HALF_LOCKED2 | global &list_lock | ||
| HALF_LOCKED2 | global &xen_reservation_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/xen/p2m.c set_phys_to_machine() -> __set_phys_to_machine()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pfn | $0 |
| DATA_SOURCE | 1 | mfn | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | pfn | unit_page |
| UNITS | 1 | mfn | unit_page |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &balloon_mutex | ||
| HALF_LOCKED2 | global &list_lock | ||
| HALF_LOCKED2 | global &xen_reservation_lock | ||
| HALF_LOCKED2 | irq |
drivers/xen/mem-reservation.c __xenmem_reservation_va_mapping_reset() -> __set_phys_to_machine()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | mfn | u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &balloon_mutex |
arch/x86/xen/setup.c xen_set_identity_and_release_chunk() -> __set_phys_to_machine()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pfn | 0-1099511627775 |
| PARAM_VALUE | 1 | mfn | u64max |
| CAPPED_DATA | 0 | pfn | 1 |
| CAPPED_DATA | 0 | pfn | 1 |
| LOCK2 | irq |
arch/x86/xen/mmu_pv.c xen_zap_pfn_range() -> __set_phys_to_machine()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pfn | 0-4503599627370495 |
| PARAM_VALUE | 1 | mfn | u64max |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | global &xen_reservation_lock | ||
| LOCK2 | irq |