mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 18:50:05 +01:00
arm: Group remaining dummy symbols somewhat according to functionality
Makes it easier to see what needs to be done. Signed-off-by: Ian Campbell <ian.campbell@citrix.com> Acked-by: Stefano Stabellini <Stefano.Stabellini@eu.citrix.com> Acked-by: Tim Deegan <tim@xen.org> Committed-by: Ian Campbell <Ian.Campbell@citrix.com>
This commit is contained in:
1 parent
a53322fc5b
commit
5c4e1c1b48
1 file changed
+41
-28
+41
-28
@@ -6,48 +6,61 @@ x: .word 0xe7f000f0 /* Undefined instruction */
|
||||
.globl x; \
|
||||
x: mov pc, lr
|
||||
|
||||
/* SMP support */
|
||||
DUMMY(__cpu_die);
|
||||
DUMMY(__cpu_disable);
|
||||
DUMMY(__cpu_up);
|
||||
DUMMY(per_cpu__cpu_core_mask);
|
||||
DUMMY(per_cpu__cpu_sibling_mask);
|
||||
DUMMY(node_online_map);
|
||||
DUMMY(smp_send_state_dump);
|
||||
DUMMY(__per_cpu_offset);
|
||||
|
||||
/* PIRQ support */
|
||||
DUMMY(alloc_pirq_struct);
|
||||
DUMMY(nr_irqs_gsi);
|
||||
DUMMY(pirq_guest_bind);
|
||||
DUMMY(pirq_guest_unbind);
|
||||
DUMMY(pirq_set_affinity);
|
||||
|
||||
/* VCPU */
|
||||
DUMMY(alloc_vcpu_guest_context);
|
||||
DUMMY(arch_get_info_guest);
|
||||
DUMMY(arch_set_info_guest);
|
||||
DUMMY(arch_vcpu_reset);
|
||||
DUMMY(free_vcpu_guest_context);
|
||||
DUMMY(sync_vcpu_execstate);
|
||||
NOP(update_vcpu_system_time);
|
||||
DUMMY(vcpu_mark_events_pending);
|
||||
DUMMY(vcpu_show_execution_state);
|
||||
|
||||
/* Page Reference & Type Maintenance */
|
||||
DUMMY(get_page);
|
||||
DUMMY(get_page_type);
|
||||
DUMMY(page_get_owner_and_reference);
|
||||
DUMMY(put_page);
|
||||
DUMMY(put_page_type);
|
||||
|
||||
/* Grant Tables */
|
||||
DUMMY(create_grant_host_mapping);
|
||||
DUMMY(__cpu_die);
|
||||
DUMMY(__cpu_disable);
|
||||
DUMMY(__cpu_up);
|
||||
DUMMY(gnttab_clear_flag);
|
||||
DUMMY(gnttab_mark_dirty);
|
||||
DUMMY(is_iomem_page);
|
||||
DUMMY(replace_grant_host_mapping);
|
||||
DUMMY(steal_page);
|
||||
|
||||
/* Page Offlining */
|
||||
DUMMY(page_is_ram_type);
|
||||
|
||||
/* Other */
|
||||
DUMMY(domain_get_maximum_gpfn);
|
||||
DUMMY(domain_relinquish_resources);
|
||||
DUMMY(domain_set_time_offset);
|
||||
DUMMY(dom_cow);
|
||||
DUMMY(flush_tlb_mask);
|
||||
DUMMY(free_vcpu_guest_context);
|
||||
DUMMY(get_page);
|
||||
DUMMY(get_page_type);
|
||||
DUMMY(gmfn_to_mfn);
|
||||
DUMMY(gnttab_clear_flag);
|
||||
DUMMY(gnttab_mark_dirty);
|
||||
DUMMY(hypercall_create_continuation);
|
||||
DUMMY(is_iomem_page);
|
||||
DUMMY(node_online_map);
|
||||
DUMMY(nr_irqs_gsi);
|
||||
DUMMY(page_get_owner_and_reference);
|
||||
DUMMY(page_is_ram_type);
|
||||
DUMMY(per_cpu__cpu_core_mask);
|
||||
DUMMY(per_cpu__cpu_sibling_mask);
|
||||
DUMMY(__per_cpu_offset);
|
||||
DUMMY(pirq_guest_bind);
|
||||
DUMMY(pirq_guest_unbind);
|
||||
DUMMY(pirq_set_affinity);
|
||||
DUMMY(put_page);
|
||||
DUMMY(put_page_type);
|
||||
DUMMY(replace_grant_host_mapping);
|
||||
DUMMY(send_timer_event);
|
||||
DUMMY(share_xen_page_with_privileged_guests);
|
||||
DUMMY(smp_send_state_dump);
|
||||
DUMMY(steal_page);
|
||||
DUMMY(sync_vcpu_execstate);
|
||||
DUMMY(__udelay);
|
||||
NOP(update_vcpu_system_time);
|
||||
DUMMY(vcpu_mark_events_pending);
|
||||
DUMMY(vcpu_show_execution_state);
|
||||
DUMMY(wallclock_time);
|
||||