arch/x86/xen/xen-ops.h

   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_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);
  32
  33 void xen_leave_lazy(void);
  34 void xen_post_allocator_init(void);
  35
  36 char * __init xen_memory_setup(void);
  37 void __init xen_arch_setup(void);
  38 void __init xen_init_IRQ(void);
  39 void xen_enable_sysenter(void);
  40 void xen_enable_syscall(void);
  41 void xen_vcpu_restore(void);
  42
  43 void __init xen_build_dynamic_phys_to_machine(void);
  44
  45 void xen_init_irq_ops(void);
  46 void xen_setup_timer(int cpu);
  47 void xen_teardown_timer(int cpu);
  48 cycle_t xen_clocksource_read(void);
  49 void xen_setup_cpu_clockevents(void);
  50 unsigned long xen_tsc_khz(void);
  51 void __init xen_time_init(void);
  52 unsigned long xen_get_wallclock(void);
  53 int xen_set_wallclock(unsigned long time);
  54 unsigned long long xen_sched_clock(void);
  55
  56 irqreturn_t xen_debug_interrupt(int irq, void *dev_id);
  57
  58 bool xen_vcpu_stolen(int vcpu);
  59
  60 void xen_mark_init_mm_pinned(void);
  61
  62 void xen_setup_vcpu_info_placement(void);
  63
  64 #ifdef CONFIG_SMP
  65 void xen_smp_init(void);
  66
  67 void __init xen_init_spinlocks(void);
  68 __cpuinit void xen_init_lock_cpu(int cpu);
  69 void xen_uninit_lock_cpu(int cpu);
  70
  71 extern cpumask_var_t xen_cpu_initialized_map;
  72 #else
  73 static inline void xen_smp_init(void) {}
  74 #endif
  75
  76
  77 /* Declare an asm function, along with symbols needed to make it
  78    inlineable */
  79 #define DECL_ASM(ret, name, ...)                \
  80         ret name(__VA_ARGS__);                  \
  81         extern char name##_end[];               \
  82         extern char name##_reloc[]              \
  83
  84 DECL_ASM(void, xen_irq_enable_direct, void);
  85 DECL_ASM(void, xen_irq_disable_direct, void);
  86 DECL_ASM(unsigned long, xen_save_fl_direct, void);
  87 DECL_ASM(void, xen_restore_fl_direct, unsigned long);
  88
  89 /* These are not functions, and cannot be called normally */
  90 void xen_iret(void);
  91 void xen_sysexit(void);
  92 void xen_sysret32(void);
  93 void xen_sysret64(void);
  94 void xen_adjust_exception_frame(void);
  95
  96 #endif /* XEN_OPS_H */