1#ifndef _ASM_X86_PROCESSOR_H
2#define _ASM_X86_PROCESSOR_H
3
4#include <asm/processor-flags.h>
5
6
7struct task_struct;
8struct mm_struct;
9struct vm86;
10
11#include <asm/math_emu.h>
12#include <asm/segment.h>
13#include <asm/types.h>
14#include <uapi/asm/sigcontext.h>
15#include <asm/current.h>
16#include <asm/cpufeatures.h>
17#include <asm/page.h>
18#include <asm/pgtable_types.h>
19#include <asm/percpu.h>
20#include <asm/msr.h>
21#include <asm/desc_defs.h>
22#include <asm/nops.h>
23#include <asm/special_insns.h>
24#include <asm/fpu/types.h>
25
26#include <linux/personality.h>
27#include <linux/cache.h>
28#include <linux/threads.h>
29#include <linux/math64.h>
30#include <linux/err.h>
31#include <linux/irqflags.h>
32
33
34
35
36
37
38
39#define NET_IP_ALIGN 0
40
41#define HBP_NUM 4
42
43
44
45
46static inline void *current_text_addr(void)
47{
48 void *pc;
49
50 asm volatile("mov $1f, %0; 1:":"=r" (pc));
51
52 return pc;
53}
54
55
56
57
58
59
60#ifdef CONFIG_X86_VSMP
61# define ARCH_MIN_TASKALIGN (1 << INTERNODE_CACHE_SHIFT)
62# define ARCH_MIN_MMSTRUCT_ALIGN (1 << INTERNODE_CACHE_SHIFT)
63#else
64# define ARCH_MIN_TASKALIGN __alignof__(union fpregs_state)
65# define ARCH_MIN_MMSTRUCT_ALIGN 0
66#endif
67
68enum tlb_infos {
69 ENTRIES,
70 NR_INFO
71};
72
73extern u16 __read_mostly tlb_lli_4k[NR_INFO];
74extern u16 __read_mostly tlb_lli_2m[NR_INFO];
75extern u16 __read_mostly tlb_lli_4m[NR_INFO];
76extern u16 __read_mostly tlb_lld_4k[NR_INFO];
77extern u16 __read_mostly tlb_lld_2m[NR_INFO];
78extern u16 __read_mostly tlb_lld_4m[NR_INFO];
79extern u16 __read_mostly tlb_lld_1g[NR_INFO];
80
81
82
83
84
85
86
87struct cpuinfo_x86 {
88 __u8 x86;
89 __u8 x86_vendor;
90 __u8 x86_model;
91 __u8 x86_mask;
92#ifdef CONFIG_X86_64
93
94 int x86_tlbsize;
95#endif
96 __u8 x86_virt_bits;
97 __u8 x86_phys_bits;
98
99 __u8 x86_coreid_bits;
100 __u8 cu_id;
101
102 __u32 extended_cpuid_level;
103
104 int cpuid_level;
105 __u32 x86_capability[NCAPINTS + NBUGINTS];
106 char x86_vendor_id[16];
107 char x86_model_id[64];
108
109 int x86_cache_size;
110 int x86_cache_alignment;
111
112 int x86_cache_max_rmid;
113 int x86_cache_occ_scale;
114 int x86_power;
115 unsigned long loops_per_jiffy;
116
117 u16 x86_max_cores;
118 u16 apicid;
119 u16 initial_apicid;
120 u16 x86_clflush_size;
121
122 u16 booted_cores;
123
124 u16 phys_proc_id;
125
126 u16 logical_proc_id;
127
128 u16 cpu_core_id;
129
130 u16 cpu_index;
131 u32 microcode;
132} __randomize_layout;
133
134struct cpuid_regs {
135 u32 eax, ebx, ecx, edx;
136};
137
138enum cpuid_regs_idx {
139 CPUID_EAX = 0,
140 CPUID_EBX,
141 CPUID_ECX,
142 CPUID_EDX,
143};
144
145#define X86_VENDOR_INTEL 0
146#define X86_VENDOR_CYRIX 1
147#define X86_VENDOR_AMD 2
148#define X86_VENDOR_UMC 3
149#define X86_VENDOR_CENTAUR 5
150#define X86_VENDOR_TRANSMETA 7
151#define X86_VENDOR_NSC 8
152#define X86_VENDOR_NUM 9
153
154#define X86_VENDOR_UNKNOWN 0xff
155
156
157
158
159extern struct cpuinfo_x86 boot_cpu_data;
160extern struct cpuinfo_x86 new_cpu_data;
161
162extern struct tss_struct doublefault_tss;
163extern __u32 cpu_caps_cleared[NCAPINTS];
164extern __u32 cpu_caps_set[NCAPINTS];
165
166#ifdef CONFIG_SMP
167DECLARE_PER_CPU_READ_MOSTLY(struct cpuinfo_x86, cpu_info);
168#define cpu_data(cpu) per_cpu(cpu_info, cpu)
169#else
170#define cpu_info boot_cpu_data
171#define cpu_data(cpu) boot_cpu_data
172#endif
173
174extern const struct seq_operations cpuinfo_op;
175
176#define cache_line_size() (boot_cpu_data.x86_cache_alignment)
177
178extern void cpu_detect(struct cpuinfo_x86 *c);
179
180extern void early_cpu_init(void);
181extern void identify_boot_cpu(void);
182extern void identify_secondary_cpu(struct cpuinfo_x86 *);
183extern void print_cpu_info(struct cpuinfo_x86 *);
184void print_cpu_msr(struct cpuinfo_x86 *);
185extern void init_scattered_cpuid_features(struct cpuinfo_x86 *c);
186extern u32 get_scattered_cpuid_leaf(unsigned int level,
187 unsigned int sub_leaf,
188 enum cpuid_regs_idx reg);
189extern unsigned int init_intel_cacheinfo(struct cpuinfo_x86 *c);
190extern void init_amd_cacheinfo(struct cpuinfo_x86 *c);
191
192extern void detect_extended_topology(struct cpuinfo_x86 *c);
193extern void detect_ht(struct cpuinfo_x86 *c);
194
195#ifdef CONFIG_X86_32
196extern int have_cpuid_p(void);
197#else
198static inline int have_cpuid_p(void)
199{
200 return 1;
201}
202#endif
203static inline void native_cpuid(unsigned int *eax, unsigned int *ebx,
204 unsigned int *ecx, unsigned int *edx)
205{
206
207 asm volatile("cpuid"
208 : "=a" (*eax),
209 "=b" (*ebx),
210 "=c" (*ecx),
211 "=d" (*edx)
212 : "0" (*eax), "2" (*ecx)
213 : "memory");
214}
215
216#define native_cpuid_reg(reg) \
217static inline unsigned int native_cpuid_##reg(unsigned int op) \
218{ \
219 unsigned int eax = op, ebx, ecx = 0, edx; \
220 \
221 native_cpuid(&eax, &ebx, &ecx, &edx); \
222 \
223 return reg; \
224}
225
226
227
228
229native_cpuid_reg(eax)
230native_cpuid_reg(ebx)
231native_cpuid_reg(ecx)
232native_cpuid_reg(edx)
233
234
235
236
237static inline unsigned long read_cr3_pa(void)
238{
239 return __read_cr3() & CR3_ADDR_MASK;
240}
241
242static inline void load_cr3(pgd_t *pgdir)
243{
244 write_cr3(__pa(pgdir));
245}
246
247#ifdef CONFIG_X86_32
248
249struct x86_hw_tss {
250 unsigned short back_link, __blh;
251 unsigned long sp0;
252 unsigned short ss0, __ss0h;
253 unsigned long sp1;
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268 unsigned short ss1;
269
270 unsigned short __ss1h;
271 unsigned long sp2;
272 unsigned short ss2, __ss2h;
273 unsigned long __cr3;
274 unsigned long ip;
275 unsigned long flags;
276 unsigned long ax;
277 unsigned long cx;
278 unsigned long dx;
279 unsigned long bx;
280 unsigned long sp;
281 unsigned long bp;
282 unsigned long si;
283 unsigned long di;
284 unsigned short es, __esh;
285 unsigned short cs, __csh;
286 unsigned short ss, __ssh;
287 unsigned short ds, __dsh;
288 unsigned short fs, __fsh;
289 unsigned short gs, __gsh;
290 unsigned short ldt, __ldth;
291 unsigned short trace;
292 unsigned short io_bitmap_base;
293
294} __attribute__((packed));
295#else
296struct x86_hw_tss {
297 u32 reserved1;
298 u64 sp0;
299 u64 sp1;
300 u64 sp2;
301 u64 reserved2;
302 u64 ist[7];
303 u32 reserved3;
304 u32 reserved4;
305 u16 reserved5;
306 u16 io_bitmap_base;
307
308} __attribute__((packed));
309#endif
310
311
312
313
314#define IO_BITMAP_BITS 65536
315#define IO_BITMAP_BYTES (IO_BITMAP_BITS/8)
316#define IO_BITMAP_LONGS (IO_BITMAP_BYTES/sizeof(long))
317#define IO_BITMAP_OFFSET offsetof(struct tss_struct, io_bitmap)
318#define INVALID_IO_BITMAP_OFFSET 0x8000
319
320struct tss_struct {
321
322
323
324 struct x86_hw_tss x86_tss;
325
326
327
328
329
330
331
332 unsigned long io_bitmap[IO_BITMAP_LONGS + 1];
333
334#ifdef CONFIG_X86_32
335
336
337
338 unsigned long SYSENTER_stack_canary;
339 unsigned long SYSENTER_stack[64];
340#endif
341
342} ____cacheline_aligned;
343
344DECLARE_PER_CPU_SHARED_ALIGNED(struct tss_struct, cpu_tss);
345
346
347
348
349
350
351
352
353#define __KERNEL_TSS_LIMIT \
354 (IO_BITMAP_OFFSET + IO_BITMAP_BYTES + sizeof(unsigned long) - 1)
355
356#ifdef CONFIG_X86_32
357DECLARE_PER_CPU(unsigned long, cpu_current_top_of_stack);
358#endif
359
360
361
362
363struct orig_ist {
364 unsigned long ist[7];
365};
366
367#ifdef CONFIG_X86_64
368DECLARE_PER_CPU(struct orig_ist, orig_ist);
369
370union irq_stack_union {
371 char irq_stack[IRQ_STACK_SIZE];
372
373
374
375
376
377 struct {
378 char gs_base[40];
379 unsigned long stack_canary;
380 };
381};
382
383DECLARE_PER_CPU_FIRST(union irq_stack_union, irq_stack_union) __visible;
384DECLARE_INIT_PER_CPU(irq_stack_union);
385
386DECLARE_PER_CPU(char *, irq_stack_ptr);
387DECLARE_PER_CPU(unsigned int, irq_count);
388extern asmlinkage void ignore_sysret(void);
389#else
390#ifdef CONFIG_CC_STACKPROTECTOR
391
392
393
394
395
396
397struct stack_canary {
398 char __pad[20];
399 unsigned long canary;
400};
401DECLARE_PER_CPU_ALIGNED(struct stack_canary, stack_canary);
402#endif
403
404
405
406struct irq_stack {
407 u32 stack[THREAD_SIZE/sizeof(u32)];
408} __aligned(THREAD_SIZE);
409
410DECLARE_PER_CPU(struct irq_stack *, hardirq_stack);
411DECLARE_PER_CPU(struct irq_stack *, softirq_stack);
412#endif
413
414extern unsigned int fpu_kernel_xstate_size;
415extern unsigned int fpu_user_xstate_size;
416
417struct perf_event;
418
419typedef struct {
420 unsigned long seg;
421} mm_segment_t;
422
423struct thread_struct {
424
425 struct desc_struct tls_array[GDT_ENTRY_TLS_ENTRIES];
426 unsigned long sp0;
427 unsigned long sp;
428#ifdef CONFIG_X86_32
429 unsigned long sysenter_cs;
430#else
431 unsigned short es;
432 unsigned short ds;
433 unsigned short fsindex;
434 unsigned short gsindex;
435#endif
436
437 u32 status;
438
439#ifdef CONFIG_X86_64
440 unsigned long fsbase;
441 unsigned long gsbase;
442#else
443
444
445
446
447 unsigned long fs;
448 unsigned long gs;
449#endif
450
451
452 struct perf_event *ptrace_bps[HBP_NUM];
453
454 unsigned long debugreg6;
455
456 unsigned long ptrace_dr7;
457
458 unsigned long cr2;
459 unsigned long trap_nr;
460 unsigned long error_code;
461#ifdef CONFIG_VM86
462
463 struct vm86 *vm86;
464#endif
465
466 unsigned long *io_bitmap_ptr;
467 unsigned long iopl;
468
469 unsigned io_bitmap_max;
470
471 mm_segment_t addr_limit;
472
473 unsigned int sig_on_uaccess_err:1;
474 unsigned int uaccess_err:1;
475
476
477 struct fpu fpu;
478
479
480
481
482};
483
484
485
486
487
488
489
490
491#define TS_COMPAT 0x0002
492
493
494
495
496static inline void native_set_iopl_mask(unsigned mask)
497{
498#ifdef CONFIG_X86_32
499 unsigned int reg;
500
501 asm volatile ("pushfl;"
502 "popl %0;"
503 "andl %1, %0;"
504 "orl %2, %0;"
505 "pushl %0;"
506 "popfl"
507 : "=&r" (reg)
508 : "i" (~X86_EFLAGS_IOPL), "r" (mask));
509#endif
510}
511
512static inline void
513native_load_sp0(struct tss_struct *tss, struct thread_struct *thread)
514{
515 tss->x86_tss.sp0 = thread->sp0;
516#ifdef CONFIG_X86_32
517
518 if (unlikely(tss->x86_tss.ss1 != thread->sysenter_cs)) {
519 tss->x86_tss.ss1 = thread->sysenter_cs;
520 wrmsr(MSR_IA32_SYSENTER_CS, thread->sysenter_cs, 0);
521 }
522#endif
523}
524
525static inline void native_swapgs(void)
526{
527#ifdef CONFIG_X86_64
528 asm volatile("swapgs" ::: "memory");
529#endif
530}
531
532static inline unsigned long current_top_of_stack(void)
533{
534#ifdef CONFIG_X86_64
535 return this_cpu_read_stable(cpu_tss.x86_tss.sp0);
536#else
537
538 return this_cpu_read_stable(cpu_current_top_of_stack);
539#endif
540}
541
542#ifdef CONFIG_PARAVIRT
543#include <asm/paravirt.h>
544#else
545#define __cpuid native_cpuid
546
547static inline void load_sp0(struct tss_struct *tss,
548 struct thread_struct *thread)
549{
550 native_load_sp0(tss, thread);
551}
552
553#define set_iopl_mask native_set_iopl_mask
554#endif
555
556
557extern void release_thread(struct task_struct *);
558
559unsigned long get_wchan(struct task_struct *p);
560
561
562
563
564
565
566static inline void cpuid(unsigned int op,
567 unsigned int *eax, unsigned int *ebx,
568 unsigned int *ecx, unsigned int *edx)
569{
570 *eax = op;
571 *ecx = 0;
572 __cpuid(eax, ebx, ecx, edx);
573}
574
575
576static inline void cpuid_count(unsigned int op, int count,
577 unsigned int *eax, unsigned int *ebx,
578 unsigned int *ecx, unsigned int *edx)
579{
580 *eax = op;
581 *ecx = count;
582 __cpuid(eax, ebx, ecx, edx);
583}
584
585
586
587
588static inline unsigned int cpuid_eax(unsigned int op)
589{
590 unsigned int eax, ebx, ecx, edx;
591
592 cpuid(op, &eax, &ebx, &ecx, &edx);
593
594 return eax;
595}
596
597static inline unsigned int cpuid_ebx(unsigned int op)
598{
599 unsigned int eax, ebx, ecx, edx;
600
601 cpuid(op, &eax, &ebx, &ecx, &edx);
602
603 return ebx;
604}
605
606static inline unsigned int cpuid_ecx(unsigned int op)
607{
608 unsigned int eax, ebx, ecx, edx;
609
610 cpuid(op, &eax, &ebx, &ecx, &edx);
611
612 return ecx;
613}
614
615static inline unsigned int cpuid_edx(unsigned int op)
616{
617 unsigned int eax, ebx, ecx, edx;
618
619 cpuid(op, &eax, &ebx, &ecx, &edx);
620
621 return edx;
622}
623
624
625static __always_inline void rep_nop(void)
626{
627 asm volatile("rep; nop" ::: "memory");
628}
629
630static __always_inline void cpu_relax(void)
631{
632 rep_nop();
633}
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649static inline void sync_core(void)
650{
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673 register void *__sp asm(_ASM_SP);
674
675#ifdef CONFIG_X86_32
676 asm volatile (
677 "pushfl\n\t"
678 "pushl %%cs\n\t"
679 "pushl $1f\n\t"
680 "iret\n\t"
681 "1:"
682 : "+r" (__sp) : : "memory");
683#else
684 unsigned int tmp;
685
686 asm volatile (
687 "mov %%ss, %0\n\t"
688 "pushq %q0\n\t"
689 "pushq %%rsp\n\t"
690 "addq $8, (%%rsp)\n\t"
691 "pushfq\n\t"
692 "mov %%cs, %0\n\t"
693 "pushq %q0\n\t"
694 "pushq $1f\n\t"
695 "iretq\n\t"
696 "1:"
697 : "=&r" (tmp), "+r" (__sp) : : "cc", "memory");
698#endif
699}
700
701extern void select_idle_routine(const struct cpuinfo_x86 *c);
702extern void amd_e400_c1e_apic_setup(void);
703
704extern unsigned long boot_option_idle_override;
705
706enum idle_boot_override {IDLE_NO_OVERRIDE=0, IDLE_HALT, IDLE_NOMWAIT,
707 IDLE_POLL};
708
709extern void enable_sep_cpu(void);
710extern int sysenter_setup(void);
711
712extern void early_trap_init(void);
713void early_trap_pf_init(void);
714
715
716extern struct desc_ptr early_gdt_descr;
717
718extern void cpu_set_gdt(int);
719extern void switch_to_new_gdt(int);
720extern void load_direct_gdt(int);
721extern void load_fixmap_gdt(int);
722extern void load_percpu_segment(int);
723extern void cpu_init(void);
724
725static inline unsigned long get_debugctlmsr(void)
726{
727 unsigned long debugctlmsr = 0;
728
729#ifndef CONFIG_X86_DEBUGCTLMSR
730 if (boot_cpu_data.x86 < 6)
731 return 0;
732#endif
733 rdmsrl(MSR_IA32_DEBUGCTLMSR, debugctlmsr);
734
735 return debugctlmsr;
736}
737
738static inline void update_debugctlmsr(unsigned long debugctlmsr)
739{
740#ifndef CONFIG_X86_DEBUGCTLMSR
741 if (boot_cpu_data.x86 < 6)
742 return;
743#endif
744 wrmsrl(MSR_IA32_DEBUGCTLMSR, debugctlmsr);
745}
746
747extern void set_task_blockstep(struct task_struct *task, bool on);
748
749
750extern int bootloader_type;
751extern int bootloader_version;
752
753extern char ignore_fpu_irq;
754
755#define HAVE_ARCH_PICK_MMAP_LAYOUT 1
756#define ARCH_HAS_PREFETCHW
757#define ARCH_HAS_SPINLOCK_PREFETCH
758
759#ifdef CONFIG_X86_32
760# define BASE_PREFETCH ""
761# define ARCH_HAS_PREFETCH
762#else
763# define BASE_PREFETCH "prefetcht0 %P1"
764#endif
765
766
767
768
769
770
771
772static inline void prefetch(const void *x)
773{
774 alternative_input(BASE_PREFETCH, "prefetchnta %P1",
775 X86_FEATURE_XMM,
776 "m" (*(const char *)x));
777}
778
779
780
781
782
783
784static inline void prefetchw(const void *x)
785{
786 alternative_input(BASE_PREFETCH, "prefetchw %P1",
787 X86_FEATURE_3DNOWPREFETCH,
788 "m" (*(const char *)x));
789}
790
791static inline void spin_lock_prefetch(const void *x)
792{
793 prefetchw(x);
794}
795
796#define TOP_OF_INIT_STACK ((unsigned long)&init_stack + sizeof(init_stack) - \
797 TOP_OF_KERNEL_STACK_PADDING)
798
799#ifdef CONFIG_X86_32
800
801
802
803#define IA32_PAGE_OFFSET PAGE_OFFSET
804#define TASK_SIZE PAGE_OFFSET
805#define TASK_SIZE_MAX TASK_SIZE
806#define STACK_TOP TASK_SIZE
807#define STACK_TOP_MAX STACK_TOP
808
809#define INIT_THREAD { \
810 .sp0 = TOP_OF_INIT_STACK, \
811 .sysenter_cs = __KERNEL_CS, \
812 .io_bitmap_ptr = NULL, \
813 .addr_limit = KERNEL_DS, \
814}
815
816
817
818
819
820
821
822
823
824
825
826#define task_pt_regs(task) \
827({ \
828 unsigned long __ptr = (unsigned long)task_stack_page(task); \
829 __ptr += THREAD_SIZE - TOP_OF_KERNEL_STACK_PADDING; \
830 ((struct pt_regs *)__ptr) - 1; \
831})
832
833#define KSTK_ESP(task) (task_pt_regs(task)->sp)
834
835#else
836
837
838
839
840
841
842
843
844
845#define TASK_SIZE_MAX ((1UL << 47) - PAGE_SIZE)
846
847
848
849
850#define IA32_PAGE_OFFSET ((current->personality & ADDR_LIMIT_3GB) ? \
851 0xc0000000 : 0xFFFFe000)
852
853#define TASK_SIZE (test_thread_flag(TIF_ADDR32) ? \
854 IA32_PAGE_OFFSET : TASK_SIZE_MAX)
855#define TASK_SIZE_OF(child) ((test_tsk_thread_flag(child, TIF_ADDR32)) ? \
856 IA32_PAGE_OFFSET : TASK_SIZE_MAX)
857
858#define STACK_TOP TASK_SIZE
859#define STACK_TOP_MAX TASK_SIZE_MAX
860
861#define INIT_THREAD { \
862 .sp0 = TOP_OF_INIT_STACK, \
863 .addr_limit = KERNEL_DS, \
864}
865
866#define task_pt_regs(tsk) ((struct pt_regs *)(tsk)->thread.sp0 - 1)
867extern unsigned long KSTK_ESP(struct task_struct *task);
868
869#endif
870
871extern void start_thread(struct pt_regs *regs, unsigned long new_ip,
872 unsigned long new_sp);
873
874
875
876
877
878#define __TASK_UNMAPPED_BASE(task_size) (PAGE_ALIGN(task_size / 3))
879#define TASK_UNMAPPED_BASE __TASK_UNMAPPED_BASE(TASK_SIZE)
880
881#define KSTK_EIP(task) (task_pt_regs(task)->ip)
882
883
884#define GET_TSC_CTL(adr) get_tsc_mode((adr))
885#define SET_TSC_CTL(val) set_tsc_mode((val))
886
887extern int get_tsc_mode(unsigned long adr);
888extern int set_tsc_mode(unsigned int val);
889
890DECLARE_PER_CPU(u64, msr_misc_features_shadow);
891
892
893#define MPX_ENABLE_MANAGEMENT() mpx_enable_management()
894#define MPX_DISABLE_MANAGEMENT() mpx_disable_management()
895
896#ifdef CONFIG_X86_INTEL_MPX
897extern int mpx_enable_management(void);
898extern int mpx_disable_management(void);
899#else
900static inline int mpx_enable_management(void)
901{
902 return -EINVAL;
903}
904static inline int mpx_disable_management(void)
905{
906 return -EINVAL;
907}
908#endif
909
910#ifdef CONFIG_CPU_SUP_AMD
911extern u16 amd_get_nb_id(int cpu);
912extern u32 amd_get_nodes_per_socket(void);
913#else
914static inline u16 amd_get_nb_id(int cpu) { return 0; }
915static inline u32 amd_get_nodes_per_socket(void) { return 0; }
916#endif
917
918static inline uint32_t hypervisor_cpuid_base(const char *sig, uint32_t leaves)
919{
920 uint32_t base, eax, signature[3];
921
922 for (base = 0x40000000; base < 0x40010000; base += 0x100) {
923 cpuid(base, &eax, &signature[0], &signature[1], &signature[2]);
924
925 if (!memcmp(sig, signature, 12) &&
926 (leaves == 0 || ((eax - base) >= leaves)))
927 return base;
928 }
929
930 return 0;
931}
932
933extern unsigned long arch_align_stack(unsigned long sp);
934extern void free_init_pages(char *what, unsigned long begin, unsigned long end);
935
936void default_idle(void);
937#ifdef CONFIG_XEN
938bool xen_set_default_idle(void);
939#else
940#define xen_set_default_idle 0
941#endif
942
943void stop_this_cpu(void *dummy);
944void df_debug(struct pt_regs *regs, long error_code);
945#endif
946