4 #include <linux/init.h>
5 #include <linux/clocksource.h>
6 #include <linux/irqreturn.h>
7 #include <xen/xen-ops.h>
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
[];
13 extern void *xen_initial_gdt
;
16 void xen_copy_trap_info(struct trap_info
*traps
);
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
);
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
;
26 void xen_setup_mfn_list_list(void);
27 void xen_setup_shared_info(void);
28 void xen_setup_machphys_mapping(void);
29 pgd_t
*xen_setup_kernel_pagetable(pgd_t
*pgd
, unsigned long max_pfn
);
30 void xen_ident_map_ISA(void);
31 void xen_reserve_top(void);
33 void xen_post_allocator_init(void);
35 char * __init
xen_memory_setup(void);
36 void __init
xen_arch_setup(void);
37 void __init
xen_init_IRQ(void);
38 void xen_enable_sysenter(void);
39 void xen_enable_syscall(void);
40 void xen_vcpu_restore(void);
42 void __init
xen_build_dynamic_phys_to_machine(void);
44 void xen_init_irq_ops(void);
45 void xen_setup_timer(int cpu
);
46 void xen_teardown_timer(int cpu
);
47 cycle_t
xen_clocksource_read(void);
48 void xen_setup_cpu_clockevents(void);
49 unsigned long xen_tsc_khz(void);
50 void __init
xen_time_init(void);
51 unsigned long xen_get_wallclock(void);
52 int xen_set_wallclock(unsigned long time
);
53 unsigned long long xen_sched_clock(void);
55 irqreturn_t
xen_debug_interrupt(int irq
, void *dev_id
);
57 bool xen_vcpu_stolen(int vcpu
);
59 void xen_setup_vcpu_info_placement(void);
62 void xen_smp_init(void);
64 extern cpumask_var_t xen_cpu_initialized_map
;
66 static inline void xen_smp_init(void) {}
69 #ifdef CONFIG_PARAVIRT_SPINLOCKS
70 void __init
xen_init_spinlocks(void);
71 __cpuinit
void xen_init_lock_cpu(int cpu
);
72 void xen_uninit_lock_cpu(int cpu
);
74 static inline void xen_init_spinlocks(void)
77 static inline void xen_init_lock_cpu(int cpu
)
80 static inline void xen_uninit_lock_cpu(int cpu
)
85 /* Declare an asm function, along with symbols needed to make it
87 #define DECL_ASM(ret, name, ...) \
88 ret name(__VA_ARGS__); \
89 extern char name##_end[]; \
90 extern char name##_reloc[] \
92 DECL_ASM(void, xen_irq_enable_direct, void);
93 DECL_ASM(void, xen_irq_disable_direct
, void);
94 DECL_ASM(unsigned long, xen_save_fl_direct
, void);
95 DECL_ASM(void, xen_restore_fl_direct
, unsigned long);
97 /* These are not functions, and cannot be called normally */
99 void xen_sysexit(void);
100 void xen_sysret32(void);
101 void xen_sysret64(void);
102 void xen_adjust_exception_frame(void);
104 #endif /* XEN_OPS_H */