From 23b671daf490acaec6fdad55f2bfa44021200a63 Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Mon, 28 Apr 2014 20:17:15 +0100 Subject: [librm] Allow interrupts in protected mode When running in a virtual machine, switching to real mode may be expensive. Allow interrupts to be enabled while in protected mode and reflected down to the real-mode interrupt handlers. Signed-off-by: Michael Brown --- src/arch/x86_64/include/gdbmach.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/arch/x86_64/include') diff --git a/src/arch/x86_64/include/gdbmach.h b/src/arch/x86_64/include/gdbmach.h index fcf8e94e6..6dadbbdd3 100644 --- a/src/arch/x86_64/include/gdbmach.h +++ b/src/arch/x86_64/include/gdbmach.h @@ -48,4 +48,6 @@ static inline void gdbmach_breakpoint ( void ) { extern int gdbmach_set_breakpoint ( int type, unsigned long addr, size_t len, int enable ); +extern void gdbmach_init ( void ); + #endif /* GDBMACH_H */ -- cgit v1.2.3-55-g7522