diff options
Diffstat (limited to 'drivers/lguest/lg.h')
-rw-r--r-- | drivers/lguest/lg.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/drivers/lguest/lg.h b/drivers/lguest/lg.h index f921684dbe5c..7408cebe995e 100644 --- a/drivers/lguest/lg.h +++ b/drivers/lguest/lg.h | |||
@@ -141,6 +141,9 @@ void copy_traps(const struct lguest *lg, struct desc_struct *idt, | |||
141 | const unsigned long *def); | 141 | const unsigned long *def); |
142 | void guest_set_clockevent(struct lguest *lg, unsigned long delta); | 142 | void guest_set_clockevent(struct lguest *lg, unsigned long delta); |
143 | void init_clockdev(struct lguest *lg); | 143 | void init_clockdev(struct lguest *lg); |
144 | bool check_syscall_vector(struct lguest *lg); | ||
145 | int init_interrupts(void); | ||
146 | void free_interrupts(void); | ||
144 | 147 | ||
145 | /* segments.c: */ | 148 | /* segments.c: */ |
146 | void setup_default_gdt_entries(struct lguest_ro_state *state); | 149 | void setup_default_gdt_entries(struct lguest_ro_state *state); |