aboutsummaryrefslogtreecommitdiffstats
path: root/os/common/ext/ST/STM32L4xx/stm32l485xx.h
Commit message (Expand)AuthorAgeFilesLines
* More headers updated.Giovanni Di Sirio2017-10-151-18607/+18613
* CMSIS update and cleanup.Giovanni Di Sirio2017-10-151-0/+18607
>44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66
#define DUMMY(x) \
	.globl x; \
x:	.word 0xe7f000f0 /* Undefined instruction */

#define  NOP(x) \
	.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(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(gmfn_to_mfn);
DUMMY(hypercall_create_continuation);
DUMMY(send_timer_event);
DUMMY(share_xen_page_with_privileged_guests);
DUMMY(__udelay);
DUMMY(wallclock_time);