22 #ifndef __ASM_PARAVIRT_H
23 #define __ASM_PARAVIRT_H
75 #ifdef CONFIG_PARAVIRT_GUEST
77 #define PARAVIRT_HYPERVISOR_TYPE_DEFAULT 0
78 #define PARAVIRT_HYPERVISOR_TYPE_XEN 1
82 #include <asm/hw_irq.h>
117 void (*arch_setup_console)(
char **cmdline_p);
120 void (*post_smp_prepare_boot_cpu)(
void);
123 unsigned long (*patch_bundle)(
void *sbundle,
void *ebundle,
125 unsigned long (*patch_inst)(
unsigned long stag,
unsigned long etag,
180 unsigned int (*__read)(
char __iomem *iosapic,
unsigned int reg);
187 iosapic_pcat_compat_init(
void)
194 iosapic_get_irq_chip(
unsigned long trigger)
199 static inline unsigned int
200 __iosapic_read(
char __iomem *iosapic,
unsigned int reg)
206 __iosapic_write(
char __iomem *iosapic,
unsigned int reg,
u32 val)
267 void (*init_missing_ticks_accounting)(
int cpu);
268 int (*do_steal_accounting)(
unsigned long *new_itm);
294 static inline unsigned long long paravirt_sched_clock(
void)
306 #define paravirt_banner() do { } while (0)
307 #define paravirt_reserve_memory(region) 0
309 #define paravirt_arch_setup_early() do { } while (0)
310 #define paravirt_arch_setup_console(cmdline_p) do { } while (0)
311 #define paravirt_arch_setup_nomca() 0
312 #define paravirt_post_smp_prepare_boot_cpu() do { } while (0)
314 #define paravirt_init_missing_ticks_accounting(cpu) do { } while (0)
315 #define paravirt_do_steal_accounting(new_itm) 0