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