xen64: get active_mm from the pda
[linux-block.git] / arch / x86 / xen / xen-ops.h
CommitLineData
5ead97c8
JF
1#ifndef XEN_OPS_H
2#define XEN_OPS_H
3
4#include <linux/init.h>
ee523ca1 5#include <linux/irqreturn.h>
e04d0d07 6#include <xen/xen-ops.h>
5ead97c8 7
f87e4cac
JF
8/* These are code, but not functions. Defined in entry.S */
9extern const char xen_hypervisor_callback[];
10extern const char xen_failsafe_callback[];
11
0e91398f 12struct trap_info;
f87e4cac
JF
13void xen_copy_trap_info(struct trap_info *traps);
14
5ead97c8 15DECLARE_PER_CPU(unsigned long, xen_cr3);
9f79991d 16DECLARE_PER_CPU(unsigned long, xen_current_cr3);
5ead97c8
JF
17
18extern struct start_info *xen_start_info;
a0d695c8 19extern struct shared_info xen_dummy_shared_info;
5ead97c8
JF
20extern struct shared_info *HYPERVISOR_shared_info;
21
d5edbc1f 22void xen_setup_mfn_list_list(void);
0e91398f 23void xen_setup_shared_info(void);
d5edbc1f 24
5ead97c8
JF
25char * __init xen_memory_setup(void);
26void __init xen_arch_setup(void);
27void __init xen_init_IRQ(void);
e2a81baf 28void xen_enable_sysenter(void);
9c7a7942 29void xen_vcpu_restore(void);
5ead97c8 30
d451bb7a
JF
31void __init xen_build_dynamic_phys_to_machine(void);
32
f87e4cac
JF
33void xen_setup_timer(int cpu);
34void xen_setup_cpu_clockevents(void);
e93ef949 35unsigned long xen_tsc_khz(void);
5ead97c8
JF
36void __init xen_time_init(void);
37unsigned long xen_get_wallclock(void);
38int xen_set_wallclock(unsigned long time);
ab550288 39unsigned long long xen_sched_clock(void);
5ead97c8 40
ee523ca1
JF
41irqreturn_t xen_debug_interrupt(int irq, void *dev_id);
42
f0d73394
JF
43bool xen_vcpu_stolen(int vcpu);
44
f4f97b3e
JF
45void xen_mark_init_mm_pinned(void);
46
f87e4cac
JF
47void __init xen_fill_possible_map(void);
48
60223a32 49void __init xen_setup_vcpu_info_placement(void);
f87e4cac
JF
50void xen_smp_prepare_boot_cpu(void);
51void xen_smp_prepare_cpus(unsigned int max_cpus);
52int xen_cpu_up(unsigned int cpu);
53void xen_smp_cpus_done(unsigned int max_cpus);
54
55void xen_smp_send_stop(void);
56void xen_smp_send_reschedule(int cpu);
3b16cf87
JA
57void xen_smp_send_call_function_ipi(cpumask_t mask);
58void xen_smp_send_call_function_single_ipi(int cpu);
5ead97c8 59
0e91398f
JF
60extern cpumask_t xen_cpu_initialized_map;
61
6487673b
JF
62
63/* Declare an asm function, along with symbols needed to make it
64 inlineable */
65#define DECL_ASM(ret, name, ...) \
66 ret name(__VA_ARGS__); \
67 extern char name##_end[]; \
68 extern char name##_reloc[] \
69
70DECL_ASM(void, xen_irq_enable_direct, void);
71DECL_ASM(void, xen_irq_disable_direct, void);
72DECL_ASM(unsigned long, xen_save_fl_direct, void);
73DECL_ASM(void, xen_restore_fl_direct, unsigned long);
74
81e103f1 75void xen_iret(void);
e2a81baf
JF
76void xen_sysexit(void);
77
5ead97c8 78#endif /* XEN_OPS_H */