1#ifndef XEN_OPS_H
2#define XEN_OPS_H
3
4#include <linux/init.h>
5#include <linux/clocksource.h>
6#include <linux/irqreturn.h>
7#include <xen/xen-ops.h>
8
9
10extern const char xen_hypervisor_callback[];
11extern const char xen_failsafe_callback[];
12
13void xen_sysenter_target(void);
14#ifdef CONFIG_X86_64
15void xen_syscall_target(void);
16void xen_syscall32_target(void);
17#endif
18
19extern void *xen_initial_gdt;
20
21struct trap_info;
22void xen_copy_trap_info(struct trap_info *traps);
23
24DECLARE_PER_CPU(struct vcpu_info, xen_vcpu_info);
25DECLARE_PER_CPU(unsigned long, xen_cr3);
26DECLARE_PER_CPU(unsigned long, xen_current_cr3);
27
28extern struct start_info *xen_start_info;
29extern struct shared_info xen_dummy_shared_info;
30extern struct shared_info *HYPERVISOR_shared_info;
31
32void xen_setup_mfn_list_list(void);
33void xen_setup_shared_info(void);
34void xen_build_mfn_list_list(void);
35void xen_setup_machphys_mapping(void);
36void xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn);
37void xen_reserve_top(void);
38
39void xen_mm_pin_all(void);
40void xen_mm_unpin_all(void);
41
42unsigned long __ref xen_chk_extra_mem(unsigned long pfn);
43void __init xen_inv_extra_mem(void);
44void __init xen_remap_memory(void);
45char * __init xen_memory_setup(void);
46char * xen_auto_xlated_memory_setup(void);
47void __init xen_arch_setup(void);
48void xen_enable_sysenter(void);
49void xen_enable_syscall(void);
50void xen_vcpu_restore(void);
51
52void xen_callback_vector(void);
53void xen_hvm_init_shared_info(void);
54void xen_unplug_emulated_devices(void);
55
56void __init xen_build_dynamic_phys_to_machine(void);
57void __init xen_vmalloc_p2m_tree(void);
58
59void xen_init_irq_ops(void);
60void xen_setup_timer(int cpu);
61void xen_setup_runstate_info(int cpu);
62void xen_teardown_timer(int cpu);
63cycle_t xen_clocksource_read(void);
64void xen_setup_cpu_clockevents(void);
65void __init xen_init_time_ops(void);
66void __init xen_hvm_init_time_ops(void);
67
68irqreturn_t xen_debug_interrupt(int irq, void *dev_id);
69
70bool xen_vcpu_stolen(int vcpu);
71
72void xen_setup_vcpu_info_placement(void);
73
74#ifdef CONFIG_SMP
75void xen_smp_init(void);
76void __init xen_hvm_smp_init(void);
77
78extern cpumask_var_t xen_cpu_initialized_map;
79#else
80static inline void xen_smp_init(void) {}
81static inline void xen_hvm_smp_init(void) {}
82#endif
83
84#ifdef CONFIG_PARAVIRT_SPINLOCKS
85void __init xen_init_spinlocks(void);
86void xen_init_lock_cpu(int cpu);
87void xen_uninit_lock_cpu(int cpu);
88#else
89static inline void xen_init_spinlocks(void)
90{
91}
92static inline void xen_init_lock_cpu(int cpu)
93{
94}
95static inline void xen_uninit_lock_cpu(int cpu)
96{
97}
98#endif
99
100struct dom0_vga_console_info;
101
102#ifdef CONFIG_XEN_DOM0
103void __init xen_init_vga(const struct dom0_vga_console_info *, size_t size);
104void __init xen_init_apic(void);
105#else
106static inline void __init xen_init_vga(const struct dom0_vga_console_info *info,
107 size_t size)
108{
109}
110static inline void __init xen_init_apic(void)
111{
112}
113#endif
114
115#ifdef CONFIG_XEN_EFI
116extern void xen_efi_init(void);
117#else
118static inline void __init xen_efi_init(void)
119{
120}
121#endif
122
123
124
125#define DECL_ASM(ret, name, ...) \
126 __visible ret name(__VA_ARGS__); \
127 extern char name##_end[] __visible; \
128 extern char name##_reloc[] __visible
129
130DECL_ASM(void, xen_irq_enable_direct, void);
131DECL_ASM(void, xen_irq_disable_direct, void);
132DECL_ASM(unsigned long, xen_save_fl_direct, void);
133DECL_ASM(void, xen_restore_fl_direct, unsigned long);
134
135
136__visible void xen_iret(void);
137__visible void xen_sysexit(void);
138__visible void xen_sysret32(void);
139__visible void xen_sysret64(void);
140__visible void xen_adjust_exception_frame(void);
141
142extern int xen_panic_handler_init(void);
143
144void xen_pvh_secondary_vcpu_init(int cpu);
145#endif
146