diff options
Diffstat (limited to 'src/VBox/Devices/PC/BIOS/inlines.h')
| -rw-r--r-- | src/VBox/Devices/PC/BIOS/inlines.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/VBox/Devices/PC/BIOS/inlines.h b/src/VBox/Devices/PC/BIOS/inlines.h index 75a3b6a3..fcaa8de1 100644 --- a/src/VBox/Devices/PC/BIOS/inlines.h +++ b/src/VBox/Devices/PC/BIOS/inlines.h @@ -3,7 +3,7 @@ */ /* - * Copyright (C) 2010-2011 Oracle Corporation + * Copyright (C) 2010-2012 Oracle Corporation * * This file is part of VirtualBox Open Source Edition (OSE), as * available from http://www.virtualbox.org. This file is free software; @@ -38,6 +38,13 @@ void int_enable(void); void int_disable(void); #pragma aux int_disable = "cli" modify exact [] nomemory; +void int_enable_hlt_disable(void); +#pragma aux int_enable_hlt_disable = \ + "sti" \ + "hlt" \ + "cli" \ + modify exact [] nomemory; + uint16_t int_query(void); #pragma aux int_query = \ "pushf" \ |