diff options
author | Rusty Russell <rusty@rustcorp.com.au> | 2015-03-23 21:21:39 -0400 |
---|---|---|
committer | Rusty Russell <rusty@rustcorp.com.au> | 2015-03-23 21:22:08 -0400 |
commit | 2f921b5bb0511fb698681d8ef35c48be7a9116bf (patch) | |
tree | e4f07e4d66f47c7af9142bf13e5851a77acec77f /arch/x86/include | |
parent | 7042cb4eb30967b5eb9eeba04907882f04d6b6e5 (diff) |
lguest: suppress interrupts for single insn, not range.
The last patch reduced our interrupt-suppression region to one address,
so simplify the code somewhat.
Also, remove the obsolete undefined instruction ranges and the comment
which refers to lguest_guest.S instead of head_32.S.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
Diffstat (limited to 'arch/x86/include')
-rw-r--r-- | arch/x86/include/asm/lguest.h | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/arch/x86/include/asm/lguest.h b/arch/x86/include/asm/lguest.h index e2d4a4afa8c3..3bbc07a57a31 100644 --- a/arch/x86/include/asm/lguest.h +++ b/arch/x86/include/asm/lguest.h | |||
@@ -20,13 +20,10 @@ extern unsigned long switcher_addr; | |||
20 | /* Found in switcher.S */ | 20 | /* Found in switcher.S */ |
21 | extern unsigned long default_idt_entries[]; | 21 | extern unsigned long default_idt_entries[]; |
22 | 22 | ||
23 | /* Declarations for definitions in lguest_guest.S */ | 23 | /* Declarations for definitions in arch/x86/lguest/head_32.S */ |
24 | extern char lguest_noirq_start[], lguest_noirq_end[]; | 24 | extern char lguest_noirq_iret[]; |
25 | extern const char lgstart_cli[], lgend_cli[]; | 25 | extern const char lgstart_cli[], lgend_cli[]; |
26 | extern const char lgstart_sti[], lgend_sti[]; | ||
27 | extern const char lgstart_popf[], lgend_popf[]; | ||
28 | extern const char lgstart_pushf[], lgend_pushf[]; | 26 | extern const char lgstart_pushf[], lgend_pushf[]; |
29 | extern const char lgstart_iret[], lgend_iret[]; | ||
30 | 27 | ||
31 | extern void lguest_iret(void); | 28 | extern void lguest_iret(void); |
32 | extern void lguest_init(void); | 29 | extern void lguest_init(void); |