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
13extern void *xen_initial_gdt;
14
15struct trap_info;
16void xen_copy_trap_info(struct trap_info *traps);
17
18DECLARE_PER_CPU(struct vcpu_info, xen_vcpu_info);
19DECLARE_PER_CPU(unsigned long, xen_cr3);
20DECLARE_PER_CPU(unsigned long, xen_current_cr3);
21
22extern struct start_info *xen_start_info;
23extern struct shared_info xen_dummy_shared_info;
24extern struct shared_info *HYPERVISOR_shared_info;
25
26void xen_setup_mfn_list_list(void);
27void xen_setup_shared_info(void);
28void xen_build_mfn_list_list(void);
29void xen_setup_machphys_mapping(void);
30void xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn);
31void xen_reserve_top(void);
32extern unsigned long xen_max_p2m_pfn;
33
34void xen_set_pat(u64);
35
36char * __init xen_memory_setup(void);
37void __init xen_arch_setup(void);
38void xen_enable_sysenter(void);
39void xen_enable_syscall(void);
40void xen_vcpu_restore(void);
41
42void xen_callback_vector(void);
43void xen_hvm_init_shared_info(void);
44void xen_unplug_emulated_devices(void);
45
46void __init xen_build_dynamic_phys_to_machine(void);
47unsigned long __init xen_revector_p2m_tree(void);
48
49void xen_init_irq_ops(void);
50void xen_setup_timer(int cpu);
51void xen_setup_runstate_info(int cpu);
52void xen_teardown_timer(int cpu);
53cycle_t xen_clocksource_read(void);
54void xen_setup_cpu_clockevents(void);
55void __init xen_init_time_ops(void);
56void __init xen_hvm_init_time_ops(void);
57
58irqreturn_t xen_debug_interrupt(int irq, void *dev_id);
59
60bool xen_vcpu_stolen(int vcpu);
61
62void xen_setup_vcpu_info_placement(void);
63
64#ifdef CONFIG_SMP
65void xen_smp_init(void);
66void __init xen_hvm_smp_init(void);
67
68extern cpumask_var_t xen_cpu_initialized_map;
69#else
70static inline void xen_smp_init(void) {}
71static inline void xen_hvm_smp_init(void) {}
72#endif
73
74#ifdef CONFIG_PARAVIRT_SPINLOCKS
75void __init xen_init_spinlocks(void);
76void xen_init_lock_cpu(int cpu);
77void xen_uninit_lock_cpu(int cpu);
78#else
79static inline void xen_init_spinlocks(void)
80{
81}
82static inline void xen_init_lock_cpu(int cpu)
83{
84}
85static inline void xen_uninit_lock_cpu(int cpu)
86{
87}
88#endif
89
90struct dom0_vga_console_info;
91
92#ifdef CONFIG_XEN_DOM0
93void __init xen_init_vga(const struct dom0_vga_console_info *, size_t size);
94void __init xen_init_apic(void);
95#else
96static inline void __init xen_init_vga(const struct dom0_vga_console_info *info,
97 size_t size)
98{
99}
100static inline void __init xen_init_apic(void)
101{
102}
103#endif
104
105
106
107#define DECL_ASM(ret, name, ...) \
108 ret name(__VA_ARGS__); \
109 extern char name##_end[]; \
110 extern char name##_reloc[] \
111
112DECL_ASM(void, xen_irq_enable_direct, void);
113DECL_ASM(void, xen_irq_disable_direct, void);
114DECL_ASM(unsigned long, xen_save_fl_direct, void);
115DECL_ASM(void, xen_restore_fl_direct, unsigned long);
116
117
118void xen_iret(void);
119void xen_sysexit(void);
120void xen_sysret32(void);
121void xen_sysret64(void);
122void xen_adjust_exception_frame(void);
123
124extern int xen_panic_handler_init(void);
125
126#endif
127