diff options
Diffstat (limited to 'drivers/lguest/lg.h')
-rw-r--r-- | drivers/lguest/lg.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/drivers/lguest/lg.h b/drivers/lguest/lg.h index 6743cf147d97..573896533ac9 100644 --- a/drivers/lguest/lg.h +++ b/drivers/lguest/lg.h | |||
@@ -139,8 +139,8 @@ int run_guest(struct lg_cpu *cpu, unsigned long __user *user); | |||
139 | #define pgd_pfn(x) (pgd_val(x) >> PAGE_SHIFT) | 139 | #define pgd_pfn(x) (pgd_val(x) >> PAGE_SHIFT) |
140 | 140 | ||
141 | /* interrupts_and_traps.c: */ | 141 | /* interrupts_and_traps.c: */ |
142 | unsigned int interrupt_pending(struct lg_cpu *cpu); | 142 | unsigned int interrupt_pending(struct lg_cpu *cpu, bool *more); |
143 | void try_deliver_interrupt(struct lg_cpu *cpu, unsigned int irq); | 143 | void try_deliver_interrupt(struct lg_cpu *cpu, unsigned int irq, bool more); |
144 | bool deliver_trap(struct lg_cpu *cpu, unsigned int num); | 144 | bool deliver_trap(struct lg_cpu *cpu, unsigned int num); |
145 | void load_guest_idt_entry(struct lg_cpu *cpu, unsigned int i, | 145 | void load_guest_idt_entry(struct lg_cpu *cpu, unsigned int i, |
146 | u32 low, u32 hi); | 146 | u32 low, u32 hi); |