# First column indicator:
# ! - needs translation
# ? - needs checking
?	dom0_vga_console_info		xen.h
?	xenctl_bitmap			xen.h
?	mmu_update			xen.h
!	mmuext_op			xen.h
!	start_info			xen.h
?	vcpu_info			xen.h
?	vcpu_time_info			xen.h
!	cpu_user_regs			arch-x86/xen-@arch@.h
!	trap_info			arch-x86/xen.h
?	cpu_offline_action		arch-x86/xen-mca.h
?	mc				arch-x86/xen-mca.h
?	mcinfo_bank			arch-x86/xen-mca.h
?	mcinfo_common			arch-x86/xen-mca.h
?	mcinfo_extended			arch-x86/xen-mca.h
?	mcinfo_global			arch-x86/xen-mca.h
?	mcinfo_logical_cpu		arch-x86/xen-mca.h
?	mcinfo_msr			arch-x86/xen-mca.h
?	mcinfo_recovery			arch-x86/xen-mca.h
!	mc_fetch			arch-x86/xen-mca.h
?	mc_info				arch-x86/xen-mca.h
?	mc_mceinject			arch-x86/xen-mca.h
?	mc_msrinject			arch-x86/xen-mca.h
?	mc_notifydomain			arch-x86/xen-mca.h
!	mc_physcpuinfo			arch-x86/xen-mca.h
?	page_offline_action		arch-x86/xen-mca.h
?	evtchn_alloc_unbound		event_channel.h
?	evtchn_bind_interdomain		event_channel.h
?	evtchn_bind_ipi			event_channel.h
?	evtchn_bind_pirq		event_channel.h
?	evtchn_bind_vcpu		event_channel.h
?	evtchn_bind_virq		event_channel.h
?	evtchn_close			event_channel.h
?	evtchn_op			event_channel.h
?	evtchn_send			event_channel.h
?	evtchn_status			event_channel.h
?	evtchn_unmask			event_channel.h
!	gnttab_copy			grant_table.h
?	gnttab_dump_table		grant_table.h
?	gnttab_map_grant_ref		grant_table.h
!	gnttab_setup_table		grant_table.h
!	gnttab_transfer			grant_table.h
?	gnttab_unmap_grant_ref		grant_table.h
?	gnttab_unmap_and_replace	grant_table.h
?	gnttab_set_version		grant_table.h
?	gnttab_get_version		grant_table.h
!	gnttab_get_status_frames	grant_table.h
?	grant_entry_v1			grant_table.h
?       grant_entry_header              grant_table.h
?	grant_entry_v2			grant_table.h
?	gnttab_swap_grant_ref		grant_table.h
?	kexec_exec			kexec.h
!	kexec_image			kexec.h
!	kexec_range			kexec.h
!	add_to_physmap			memory.h
!	foreign_memory_map		memory.h
!	memory_exchange			memory.h
!	memory_map			memory.h
!	memory_reservation		memory.h
!	pod_target			memory.h
!	remove_from_physmap		memory.h
?	physdev_eoi			physdev.h
?	physdev_get_free_pirq		physdev.h
?	physdev_irq			physdev.h
?	physdev_irq_status_query	physdev.h
?	physdev_manage_pci		physdev.h
?	physdev_manage_pci_ext		physdev.h
?	physdev_pci_device		physdev.h
?	physdev_pci_device_add		physdev.h
?	physdev_pci_mmcfg_reserved	physdev.h
?	physdev_unmap_pirq		physdev.h
?	physdev_restore_msi		physdev.h
?	physdev_set_iopl		physdev.h
?	physdev_setup_gsi		physdev.h
!	pct_register			platform.h
!	power_register			platform.h
?	processor_csd			platform.h
!	processor_cx			platform.h
!	processor_flags			platform.h
!	processor_performance		platform.h
!	processor_power			platform.h
?	processor_px			platform.h
!	psd_package			platform.h
?	xenpf_enter_acpi_sleep		platform.h
?	xenpf_pcpuinfo			platform.h
?	xenpf_pcpu_version		platform.h
!	sched_poll			sched.h
?	sched_remote_shutdown		sched.h
?	sched_shutdown			sched.h
!	tmem_op				tmem.h
?	t_buf				trace.h
?	vcpu_get_physid			vcpu.h
?	vcpu_register_vcpu_info		vcpu.h
!	vcpu_runstate_info		vcpu.h
?	vcpu_set_periodic_timer		vcpu.h
!	vcpu_set_singleshot_timer	vcpu.h
?	xenoprof_init			xenoprof.h
?	xenoprof_passive		xenoprof.h