xen: remove more declarations from C files.
authorTim Deegan <Tim.Deegan@citrix.com>
Fri, 27 May 2011 07:56:12 +0000 (08:56 +0100)
committerTim Deegan <Tim.Deegan@citrix.com>
Fri, 27 May 2011 07:56:12 +0000 (08:56 +0100)
This patch moves some more, mostly data, extern declarations into
header files.   I haven't been as strict as I was with functions;
in particular there are a number of declarations of assembler labels
that are only used in one place.  I've also left a few compat-mode
tricks, and all the magic in symbols.c

Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
41 files changed:
xen/arch/x86/cpu/mcheck/mce.c
xen/arch/x86/cpu/mcheck/mce.h
xen/arch/x86/cpu/mcheck/x86_mca.h
xen/arch/x86/cpu/mtrr/main.c
xen/arch/x86/cpu/mtrr/mtrr.h
xen/arch/x86/extable.c
xen/arch/x86/hvm/intercept.c
xen/arch/x86/hvm/mtrr.c
xen/arch/x86/hvm/svm/svm.c
xen/arch/x86/hvm/svm/vmcb.c
xen/arch/x86/hvm/vpmu.c
xen/arch/x86/io_apic.c
xen/arch/x86/oprofile/nmi_int.c
xen/arch/x86/oprofile/op_model_athlon.c
xen/arch/x86/oprofile/op_x86_model.h
xen/arch/x86/platform_hypercall.c
xen/arch/x86/setup.c
xen/arch/x86/tboot.c
xen/arch/x86/traps.c
xen/arch/x86/x86_32/mm.c
xen/arch/x86/x86_64/traps.c
xen/common/sched_arinc653.c
xen/common/schedule.c
xen/drivers/acpi/pmstat.c
xen/drivers/passthrough/amd/iommu_acpi.c
xen/drivers/passthrough/amd/iommu_intr.c
xen/drivers/passthrough/amd/pci_amd_iommu.c
xen/include/acpi/cpufreq/cpufreq.h
xen/include/asm-x86/amd-iommu.h
xen/include/asm-x86/config.h
xen/include/asm-x86/hvm/io.h
xen/include/asm-x86/hvm/svm/amd-iommu-proto.h
xen/include/asm-x86/hvm/vpmu.h
xen/include/asm-x86/mce.h
xen/include/asm-x86/mtrr.h
xen/include/asm-x86/page.h
xen/include/asm-x86/processor.h
xen/include/asm-x86/uaccess.h
xen/include/xen/sched-if.h
xen/include/xen/smp.h
xen/include/xen/time.h

index 9f86616f42d1069a705c9081508d80f26c4df55d..65987f20744ea1e0d65a96481c9d6fba13b86a90 100644 (file)
@@ -326,9 +326,6 @@ mctelem_cookie_t mcheck_mca_logout(enum mca_source who, struct mca_banks *bankma
                 mca_init_global(mc_flags, mig);
                 /* A hook here to get global extended msrs */
                 {
-                    struct mcinfo_extended *intel_get_extended_msrs(
-                        struct mcinfo_global *mig, struct mc_info *mi);
-
                     if (boot_cpu_data.x86_vendor ==
                         X86_VENDOR_INTEL)
                         intel_get_extended_msrs(mig, mci);
index 6762d1abcc540f7c7c1084af50c42662bc64c505..223c17b2b93df007da5ae413f2538db8bc0ba10e 100644 (file)
@@ -57,6 +57,9 @@ extern int firstbank;
 int intel_mce_rdmsr(uint32_t msr, uint64_t *val);
 int intel_mce_wrmsr(uint32_t msr, uint64_t val);
 
+struct mcinfo_extended *intel_get_extended_msrs(
+    struct mcinfo_global *mig, struct mc_info *mi);
+
 int mce_available(struct cpuinfo_x86 *c);
 int mce_firstbank(struct cpuinfo_x86 *c);
 /* Helper functions used for collecting error telemetry */
index 240b8d3cc1e82957841a55367480feeaa8c36064..f7077bec944619b846168217ebd852d5ceed7b61 100644 (file)
@@ -156,6 +156,5 @@ struct mca_error_handler
 
 /* Global variables */
 extern bool_t mce_disabled;
-extern unsigned int nr_mce_banks;
 
 #endif /* X86_MCA_H */
index 968d8bd9599da8ee27e09af46447b75264fbe4d3..554b4e3d8d0e59390e0053c5d086e1ac1d25cbe3 100644 (file)
@@ -63,12 +63,6 @@ const struct mtrr_ops *__read_mostly mtrr_if = NULL;
 static void set_mtrr(unsigned int reg, unsigned long base,
                     unsigned long size, mtrr_type type);
 
-#ifndef CONFIG_X86_64
-extern int arr3_protected;
-#else
-#define arr3_protected 0
-#endif
-
 static const char *const mtrr_strings[MTRR_NUM_TYPES] =
 {
     "uncachable",               /* 0 */
index 429a1427427b00da2423608ffcf06edc9d793270..12b17e1c5c3fe55b67aae5c8ae68edf77568ba43 100644 (file)
@@ -86,3 +86,8 @@ void mtrr_wrmsr(unsigned int msr, uint64_t msr_content);
 extern int amd_init_mtrr(void);
 extern int cyrix_init_mtrr(void);
 
+#ifndef CONFIG_X86_64
+extern int arr3_protected;
+#else
+#define arr3_protected 0
+#endif
index 8c645854834475b596304468c1d75f82eb326562..2cdeb546cc3a04cec8c5c41ca8f785ee059d4170 100644 (file)
@@ -6,11 +6,6 @@
 #include <xen/spinlock.h>
 #include <asm/uaccess.h>
 
-extern struct exception_table_entry __start___ex_table[];
-extern struct exception_table_entry __stop___ex_table[];
-extern struct exception_table_entry __start___pre_ex_table[];
-extern struct exception_table_entry __stop___pre_ex_table[];
-
 #ifdef __i386__
 #define EX_FIELD(ptr, field) (ptr)->field
 #define swap_ex NULL
index 4f461cbd4cbb0743aef2da4220ed8648380b36ea..be6bf95d8b5bcbec2321f02de728140cdd3a68f0 100644 (file)
 #include <xen/event.h>
 #include <xen/iommu.h>
 
-extern const struct hvm_mmio_handler hpet_mmio_handler;
-extern const struct hvm_mmio_handler vlapic_mmio_handler;
-extern const struct hvm_mmio_handler vioapic_mmio_handler;
-extern const struct hvm_mmio_handler msixtbl_mmio_handler;
-
-#define HVM_MMIO_HANDLER_NR 4
-
 static const struct hvm_mmio_handler *const
 hvm_mmio_handlers[HVM_MMIO_HANDLER_NR] =
 {
index 56b566f3baa5a3013a2fcf4a91f9cae373211290..70e0597d592e2c314bfcd78a667c11c12c07df98 100644 (file)
@@ -28,8 +28,6 @@
 #include <asm/hvm/support.h>
 #include <asm/hvm/cacheattr.h>
 
-extern struct mtrr_state mtrr_state;
-
 static uint32_t size_or_mask;
 
 /* Get page attribute fields (PAn) from PAT MSR. */
index 4b2b0503b55c8a96ad726e8b45c5531946072506..9b9e0753c4cef749b896409cfbdb3befa9c7bf54 100644 (file)
@@ -1656,8 +1656,6 @@ static void svm_vmexit_ud_intercept(struct cpu_user_regs *regs)
     }
 }
 
-extern unsigned int nr_mce_banks; /* from mce.h */
-
 static int svm_is_erratum_383(struct cpu_user_regs *regs)
 {
     uint64_t msr_content;
index b21b0c568fccd69020f28fb3fa9128da6f8606b0..c26c7600441f05663991e9b573b3da3a94ad9492 100644 (file)
@@ -32,8 +32,6 @@
 #include <asm/hvm/svm/svm.h>
 #include <asm/hvm/svm/svmdebug.h>
 
-extern int svm_dbg_on;
-
 struct vmcb_struct *alloc_vmcb(void) 
 {
     struct vmcb_struct *vmcb;
index d8501129e4725f7e2c3a28c36dfcc902115b8f7a..59076fd1adaa2a89c400f8a8285dfdec93de1753 100644 (file)
@@ -78,9 +78,6 @@ void vpmu_load(struct vcpu *v)
         vpmu->arch_vpmu_ops->arch_vpmu_load(v);
 }
 
-extern struct arch_vpmu_ops core2_vpmu_ops;
-extern struct arch_vpmu_ops amd_vpmu_ops;
-
 void vpmu_initialise(struct vcpu *v)
 {
     struct vpmu_struct *vpmu = vcpu_vpmu(v);
index 74df7480c1f5cdc1b935baa1f94e3beb9717bcc4..138bd20fd9f42c52def9df68e240df75294efc5c 100644 (file)
@@ -1440,7 +1440,6 @@ static void __init setup_ioapic_ids_from_mpc(void)
  */
 static int __init timer_irq_works(void)
 {
-    extern unsigned long pit0_ticks;
     unsigned long t1, flags;
 
     t1 = pit0_ticks;
index d06ba881c0bbd01766512805115240c70aae1bfe..eba9dec64d0a3a6411a9cda409409bcbe5a905ab 100644 (file)
@@ -339,7 +339,6 @@ static int force_cpu_type(const char *str)
 }
 custom_param("cpu_type", force_cpu_type);
 
-extern int ppro_has_global_ctrl;
 static int __init ppro_init(char ** cpu_type)
 {
        __u8 cpu_model = current_cpu_data.x86_model;
index fcbf5b55e8550c484e489a712322405ce7048942..95ad07c6c638c39fb5ff73059ae176140b6c43b6 100644 (file)
@@ -52,7 +52,6 @@
 static unsigned long reset_value[MAX_COUNTERS];
 
 extern char svm_stgi_label[];
-extern struct op_x86_model_spec const *__read_mostly model;
 
 #ifdef CONFIG_X86_64
 u32 ibs_caps = 0;
index b154415873ebca3e168a5c945baf1bbee012f86b..87beedbf87a4c2fd2caa1c998af324a85f7fdc76 100644 (file)
@@ -51,4 +51,8 @@ extern struct op_x86_model_spec const op_athlon_spec;
 extern struct op_x86_model_spec const op_amd_fam15h_spec;
 
 void arch_perfmon_setup_counters(void);
+
+extern int ppro_has_global_ctrl;
+extern struct op_x86_model_spec const *__read_mostly model;
+
 #endif /* OP_X86_MODEL_H */
index 022c6a7e188a9ff25a1466f50258905e77af768d..87bc3f6e0408dbef0b563745dfe6031eff22106a 100644 (file)
@@ -30,9 +30,6 @@
 #include "cpu/mtrr/mtrr.h"
 #include <xsm/xsm.h>
 
-extern uint16_t boot_edid_caps;
-extern uint8_t boot_edid_info[];
-
 #ifndef COMPAT
 typedef long ret_t;
 DEFINE_SPINLOCK(xenpf_lock);
index ce1cb2a46a8ff412d72f6976a4519638bc9a43a2..a872ae98e597aa417e7bf98b022f51cb3b1a9713 100644 (file)
 #include <asm/setup.h>
 #include <xen/cpu.h>
 
-extern u16 boot_edid_caps;
-extern u8 boot_edid_info[128];
-extern struct boot_video_info boot_vid_info;
-
 /* opt_nosmp: If true, secondary processors are ignored. */
 static bool_t __initdata opt_nosmp;
 boolean_param("nosmp", opt_nosmp);
@@ -438,6 +434,7 @@ struct boot_video_info {
     u16 vesapm_off;         /* 0x26 */
     u16 vesa_attrib;        /* 0x28 */
 };
+extern struct boot_video_info boot_vid_info;
 
 static void __init parse_video_info(void)
 {
@@ -806,7 +803,6 @@ void __init __start_xen(unsigned long mbi_p)
             end = 0;
         if ( end > s )
         {
-            extern l2_pgentry_t l2_xenmap[];
             l4_pgentry_t *pl4e;
             l3_pgentry_t *pl3e;
             l2_pgentry_t *pl2e;
index 0fa4eef75d532abdb7943267f14a89cc0eb7ee9e..1d78ec6a74215f151fd22c0af1ac4bd95677f5cd 100644 (file)
@@ -245,7 +245,6 @@ static void tboot_gen_domain_integrity(const uint8_t key[TB_KEY_SIZE],
  */
 static int mfn_in_guarded_stack(unsigned long mfn)
 {
-    extern void *stack_base[NR_CPUS];
     void *p;
     int i;
 
index c30b3e0f6aef99e620622daabc60a98f738d984f..655e74c03c71225c35732ee924908275184b70b2 100644 (file)
@@ -3248,8 +3248,6 @@ asmlinkage void do_debug(struct cpu_user_regs *regs)
         if ( regs->eflags & X86_EFLAGS_TF )
         {
 #ifdef __x86_64__
-            void sysenter_entry(void);
-            void sysenter_eflags_saved(void);
             /* In SYSENTER entry path we can't zap TF until EFLAGS is saved. */
             if ( (regs->rip >= (unsigned long)sysenter_entry) &&
                  (regs->rip <= (unsigned long)sysenter_eflags_saved) )
index 03b85cc2a5698dff3469d05bbfd579922182775c..3905540cb0657e8349ebd5384e2ff24a8c18425a 100644 (file)
@@ -34,8 +34,6 @@
 l2_pgentry_t __attribute__ ((__section__ (".bss.page_aligned")))
     idle_pg_table_l2[4 * L2_PAGETABLE_ENTRIES];
 
-extern l1_pgentry_t l1_identmap[L1_PAGETABLE_ENTRIES];
-
 unsigned int __read_mostly PAGE_HYPERVISOR         = __PAGE_HYPERVISOR;
 unsigned int __read_mostly PAGE_HYPERVISOR_NOCACHE = __PAGE_HYPERVISOR_NOCACHE;
 
index f48c61e71c251a36066c27cfd9a377935755a285..62ef570d8e9ff3c2a763a3d9d296a089e62ce86c 100644 (file)
 #include <asm/hvm/support.h>
 #include <public/callback.h>
 
-asmlinkage void syscall_enter(void);
-asmlinkage void sysenter_entry(void);
-asmlinkage void compat_hypercall(void);
-asmlinkage void int80_direct_trap(void);
 
 static void print_xen_info(void)
 {
index e0cab17fc3cd659891fbdd154ada3430970e4b3f..b6f09ab3c896858bed1b174d72b8ae798e6871f2 100644 (file)
@@ -654,7 +654,7 @@ a653sched_adjust_global(const struct scheduler *ops,
  * callback functions.
  * The symbol must be visible to the rest of Xen at link time.
  */
-struct scheduler sched_arinc653_def = {
+const struct scheduler sched_arinc653_def = {
     .name           = "ARINC 653 Scheduler",
     .opt_name       = "arinc653",
     .sched_id       = XEN_SCHEDULER_ARINC653,
index aa8bdd5969b437b7a937a78e00fc80c788a52ae3..cce22a5795cf4ce46fde309092cb7a2b1389e8ed 100644 (file)
@@ -57,10 +57,6 @@ static void poll_timer_fn(void *data);
 DEFINE_PER_CPU(struct schedule_data, schedule_data);
 DEFINE_PER_CPU(struct scheduler *, scheduler);
 
-extern const struct scheduler sched_sedf_def;
-extern const struct scheduler sched_credit_def;
-extern const struct scheduler sched_credit2_def;
-extern const struct scheduler sched_arinc653_def;
 static const struct scheduler *schedulers[] = {
     &sched_sedf_def,
     &sched_credit_def,
index 2387065c7bbad12eb4f8ea457874e1ae34d7a789..e86c970538cf82cceab3676b4d0a37d40bfc6aaa 100644 (file)
@@ -45,8 +45,6 @@
 
 DEFINE_PER_CPU_READ_MOSTLY(struct pm_px *, cpufreq_statistic_data);
 
-extern struct list_head cpufreq_governor_list;
-
 /*
  * Get PM statistic info
  */
index 57a4c16ddec4cd0042bc9d433fc52bbb2a4ddf28..84e246f7a1706b077cabc9d883ea3035f39bccdb 100644 (file)
 #include <asm/hvm/svm/amd-iommu-proto.h>
 #include <asm/hvm/svm/amd-iommu-acpi.h>
 
-extern unsigned long amd_iommu_page_entries;
-extern unsigned short ivrs_bdf_entries;
-extern struct ivrs_mappings *ivrs_mappings;
-extern int ioapic_bdf[MAX_IO_APICS];
-extern void *shared_intremap_table;
-
 static unsigned short __initdata last_bdf;
 
 static void __init add_ivrs_mapping_entry(
index 07ab37df611a65b3f63d730563701c11e08d5d0d..f67bfb6d1c81bb186840cc42bec5b3a411d1312c 100644 (file)
@@ -28,8 +28,6 @@
 #define INTREMAP_ENTRIES (1 << INTREMAP_LENGTH)
 
 int ioapic_bdf[MAX_IO_APICS];
-extern struct ivrs_mappings *ivrs_mappings;
-extern unsigned short ivrs_bdf_entries;
 void *shared_intremap_table;
 static DEFINE_SPINLOCK(shared_intremap_lock);
 
index 4d3ed59018a9d36140f5cb937e1cd0dd0e6ee684..10b6db36b99dc8b28ede8da5bdce939b9bb91179 100644 (file)
@@ -25,9 +25,6 @@
 #include <asm/amd-iommu.h>
 #include <asm/hvm/svm/amd-iommu-proto.h>
 
-extern unsigned short ivrs_bdf_entries;
-extern struct ivrs_mappings *ivrs_mappings;
-
 struct amd_iommu *find_iommu_for_device(int bdf)
 {
     BUG_ON ( bdf >= ivrs_bdf_entries );
index c93aeeeae7bce2725b6688531cc199b298847b5f..25376f36e9666ee7970a29458562f280b9043fbb 100644 (file)
@@ -103,6 +103,8 @@ extern struct cpufreq_governor cpufreq_gov_userspace;
 extern struct cpufreq_governor cpufreq_gov_performance;
 extern struct cpufreq_governor cpufreq_gov_powersave;
 
+extern struct list_head cpufreq_governor_list;
+
 extern int cpufreq_register_governor(struct cpufreq_governor *governor);
 extern struct cpufreq_governor *__find_governor(const char *governor);
 #define CPUFREQ_DEFAULT_GOVERNOR &cpufreq_gov_dbs
index 5370d6b5a7d3257f7272caa1d299ea5c6ca4d109..784c9d989b8a21382855693a19a8f70b1d9507da 100644 (file)
@@ -99,4 +99,8 @@ struct ivrs_mappings {
     u8 dte_ext_int_pass;
     u8 dte_init_pass;
 };
+
+extern unsigned short ivrs_bdf_entries;
+extern struct ivrs_mappings *ivrs_mappings;
+
 #endif /* _ASM_X86_64_AMD_IOMMU_H */
index e3a7868caaa7524803ccdb3abdc86d4d739747ec..d82351d9389ac676052129971a69c1f6cba42d0d 100644 (file)
@@ -108,6 +108,8 @@ extern unsigned int trampoline_xen_phys_start;
 extern unsigned char trampoline_cpu_started;
 extern char wakeup_start[];
 extern unsigned int video_mode, video_flags;
+extern unsigned short boot_edid_caps;
+extern unsigned char boot_edid_info[128];
 #endif
 
 #if defined(__x86_64__)
index fe2ecdad0e47167fb59a75c0d09fe7da49b94434..ce2bcb373fb6e7787dd0f1cef75c15291f6e48df 100644 (file)
@@ -65,6 +65,13 @@ struct hvm_mmio_handler {
     hvm_mmio_write_t write_handler;
 };
 
+extern const struct hvm_mmio_handler hpet_mmio_handler;
+extern const struct hvm_mmio_handler vlapic_mmio_handler;
+extern const struct hvm_mmio_handler vioapic_mmio_handler;
+extern const struct hvm_mmio_handler msixtbl_mmio_handler;
+
+#define HVM_MMIO_HANDLER_NR 4
+
 int hvm_io_intercept(ioreq_t *p, int type);
 void register_io_handler(
     struct domain *d, unsigned long addr, unsigned long size,
index 7a34e4b7d6608f111a0ecb896acd55d2df6dfd46..c1c23333b202a24c7d9c7d7de4e0f6fe6d89ce62 100644 (file)
@@ -23,6 +23,7 @@
 
 #include <xen/sched.h>
 #include <asm/amd-iommu.h>
+#include <asm/apicdef.h>
 #include <xen/domain_page.h>
 
 #define for_each_amd_iommu(amd_iommu) \
@@ -95,6 +96,9 @@ void amd_iommu_read_msi_from_ire(
 unsigned int amd_iommu_read_ioapic_from_ire(
     unsigned int apic, unsigned int reg);
 
+extern int ioapic_bdf[MAX_IO_APICS];
+extern void *shared_intremap_table;
+
 /* power management support */
 void amd_iommu_resume(void);
 void amd_iommu_suspend(void);
index a45b3801ed1fb8e6d559884c42609e37e6a3cbdd..276333fd8046aa965b8300482118116f2361114c 100644 (file)
@@ -56,6 +56,9 @@ struct arch_vpmu_ops {
     void (*arch_vpmu_load)(struct vcpu *v);
 };
 
+extern struct arch_vpmu_ops core2_vpmu_ops;
+extern struct arch_vpmu_ops amd_vpmu_ops;
+
 struct vpmu_struct {
     u32 flags;
     void *context;
index e533c6574893b45cb034c671242c60e0d5d31664..8ff4e3634e825f873f0d535b8ba7a0ac84701b99 100644 (file)
@@ -30,4 +30,7 @@ extern int vmce_init_msr(struct domain *d);
 extern void vmce_destroy_msr(struct domain *d);
 extern int vmce_wrmsr(uint32_t msr, uint64_t val);
 extern int vmce_rdmsr(uint32_t msr, uint64_t *val);
+
+extern unsigned int nr_mce_banks;
+
 #endif
index 469cdb51116ec6252519fe2efce2b93418bc87c9..6b4d6328d76ddc0bc059a0c676a2c0102aa21918 100644 (file)
@@ -52,6 +52,7 @@ struct mtrr_state {
        /* ranges in var MSRs are overlapped or not:0(no overlapped) */
        bool_t    overlapped;
 };
+extern struct mtrr_state mtrr_state;
 
 extern void mtrr_save_fixed_ranges(void *);
 extern void mtrr_save_state(void);
index 5961b347ff71d54efa759e1fe4dc2fef16d24e84..68af2a77a03d4dc3647f95beb3b87c92a215dae6 100644 (file)
@@ -303,6 +303,8 @@ extern l2_pgentry_t  *compat_idle_pg_table_l2;
 extern unsigned int   m2p_compat_vstart;
 #endif
 extern l2_pgentry_t l2_identmap[4*L2_PAGETABLE_ENTRIES];
+extern l1_pgentry_t l1_identmap[L1_PAGETABLE_ENTRIES];
+extern l2_pgentry_t l2_xenmap[];
 void paging_init(void);
 void setup_idle_pagetable(void);
 #endif /* !defined(__ASSEMBLY__) */
index 7272dfa05842cd55d985a033ec9ff984880ae1a9..ff807f725099d35194d1a7baba8d17e40604da7e 100644 (file)
@@ -580,6 +580,13 @@ DECLARE_TRAP_HANDLER(machine_check);
 DECLARE_TRAP_HANDLER(alignment_check);
 DECLARE_TRAP_HANDLER(spurious_interrupt_bug);
 #undef DECLARE_TRAP_HANDLER
+
+asmlinkage void syscall_enter(void);
+asmlinkage void sysenter_entry(void);
+asmlinkage void sysenter_eflags_saved(void);
+asmlinkage void compat_hypercall(void);
+asmlinkage void int80_direct_trap(void);
+
 extern asmlinkage int hypercall(void);
 
 int cpuid_hypervisor_leaves( uint32_t idx, uint32_t sub_idx,
index af624dfab649b16b11861868220941ff072a14c7..e3e541b306a312a0807efcb6ad723f3aba6ec729 100644 (file)
@@ -269,6 +269,10 @@ struct exception_table_entry
 {
        s32 addr, cont;
 };
+extern struct exception_table_entry __start___ex_table[];
+extern struct exception_table_entry __stop___ex_table[];
+extern struct exception_table_entry __start___pre_ex_table[];
+extern struct exception_table_entry __stop___pre_ex_table[];
 
 extern unsigned long search_exception_table(unsigned long);
 extern void sort_exception_tables(void);
index a03ceb15526c64cb45dcdce52833809170752b69..72a12935312181e25f216eb5c8f27f419e4032d4 100644 (file)
@@ -183,6 +183,12 @@ struct scheduler {
     void         (*tick_resume)     (const struct scheduler *, unsigned int);
 };
 
+extern const struct scheduler sched_sedf_def;
+extern const struct scheduler sched_credit_def;
+extern const struct scheduler sched_credit2_def;
+extern const struct scheduler sched_arinc653_def;
+
+
 struct cpupool
 {
     int              cpupool_id;
index 0003febe804eda6a0d8042915438fe94e842280d..536c229d452125ea5e28dfaa195ba7696211bea6 100644 (file)
@@ -63,4 +63,6 @@ static inline void on_each_cpu(
 
 int alloc_cpu_id(void);
 
+extern void *stack_base[NR_CPUS];
+
 #endif /* __XEN_SMP_H__ */
index e485f8a85ffff9f5eedd32159218b244d68626c5..a19434079ccbb47c96bab92f2349c4834328f849 100644 (file)
@@ -15,6 +15,7 @@ extern int init_xen_time(void);
 extern void cstate_restore_tsc(void);
 
 extern unsigned long cpu_khz;
+extern unsigned long pit0_ticks;
 
 struct domain;
 struct vcpu;