4 #include <linux/init.h>
6 /* These are code, but not functions. Defined in entry.S */
7 extern const char xen_hypervisor_callback
[];
8 extern const char xen_failsafe_callback
[];
10 void xen_copy_trap_info(struct trap_info
*traps
);
12 DECLARE_PER_CPU(struct vcpu_info
*, xen_vcpu
);
13 DECLARE_PER_CPU(unsigned long, xen_cr3
);
14 DECLARE_PER_CPU(unsigned long, xen_current_cr3
);
16 extern struct start_info
*xen_start_info
;
17 extern struct shared_info
*HYPERVISOR_shared_info
;
19 char * __init
xen_memory_setup(void);
20 void __init
xen_arch_setup(void);
21 void __init
xen_init_IRQ(void);
23 void xen_setup_timer(int cpu
);
24 void xen_setup_cpu_clockevents(void);
25 unsigned long xen_cpu_khz(void);
26 void __init
xen_time_init(void);
27 unsigned long xen_get_wallclock(void);
28 int xen_set_wallclock(unsigned long time
);
29 unsigned long long xen_sched_clock(void);
31 bool xen_vcpu_stolen(int vcpu
);
33 void xen_mark_init_mm_pinned(void);
35 void __init
xen_fill_possible_map(void);
37 void __init
xen_setup_vcpu_info_placement(void);
38 void xen_smp_prepare_boot_cpu(void);
39 void xen_smp_prepare_cpus(unsigned int max_cpus
);
40 int xen_cpu_up(unsigned int cpu
);
41 void xen_smp_cpus_done(unsigned int max_cpus
);
43 void xen_smp_send_stop(void);
44 void xen_smp_send_reschedule(int cpu
);
45 int xen_smp_call_function (void (*func
) (void *info
), void *info
, int nonatomic
,
47 int xen_smp_call_function_single(int cpu
, void (*func
) (void *info
), void *info
,
48 int nonatomic
, int wait
);
50 int xen_smp_call_function_mask(cpumask_t mask
, void (*func
)(void *),
51 void *info
, int wait
);
54 /* Declare an asm function, along with symbols needed to make it
56 #define DECL_ASM(ret, name, ...) \
57 ret name(__VA_ARGS__); \
58 extern char name##_end[]; \
59 extern char name##_reloc[] \
61 DECL_ASM(void, xen_irq_enable_direct, void);
62 DECL_ASM(void, xen_irq_disable_direct
, void);
63 DECL_ASM(unsigned long, xen_save_fl_direct
, void);
64 DECL_ASM(void, xen_restore_fl_direct
, unsigned long);
66 void xen_iret_direct(void);
67 #endif /* XEN_OPS_H */