From d1b4fb1dff9028eeda73e132ff4b112b78cefba5 Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Wed, 5 Apr 2017 16:13:40 +0200 Subject: [PATCH] vbox: Simplify Muen guest interupt handling Drop lock prefix since there is no concurrent access from other CPUs. --- repos/ports/src/virtualbox/spec/muen/guest_interrupts.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/ports/src/virtualbox/spec/muen/guest_interrupts.h b/repos/ports/src/virtualbox/spec/muen/guest_interrupts.h index 5c3693a9d..6d3eb225e 100644 --- a/repos/ports/src/virtualbox/spec/muen/guest_interrupts.h +++ b/repos/ports/src/virtualbox/spec/muen/guest_interrupts.h @@ -56,7 +56,7 @@ class Genode::Guest_interrupts */ void set_pending_interrupt(uint8_t irq) { - asm volatile ("lock bts %1, %0" + asm volatile ("bts %1, %0" : "+m" (*(char *)_base) : "Ir" ((uint32_t)irq) : "memory"); @@ -67,7 +67,7 @@ class Genode::Guest_interrupts */ void clear_pending_interrupt(uint8_t irq) { - asm volatile ("lock btr %1, %0" + asm volatile ("btr %1, %0" : "+m" (*(char *)_base) : "Ir" ((uint32_t)irq) : "memory");