Revision d05e66d2 exec-i386.h

b/exec-i386.h
142 142
void __hidden cpu_lock(void);
143 143
void __hidden cpu_unlock(void);
144 144
void do_interrupt(int intno, int is_int, int error_code, 
145
                  unsigned int next_eip);
145
                  unsigned int next_eip, int is_hw);
146 146
void do_interrupt_user(int intno, int is_int, int error_code, 
147 147
                       unsigned int next_eip);
148 148
void raise_interrupt(int intno, int is_int, int error_code, 

Also available in: Unified diff