Update

[l4.git] / l4 / pkg / libvcpu / include / ARCH-x86 / vcpu_arch.h

diff --git a/l4/pkg/libvcpu/include/ARCH-x86/vcpu_arch.h b/l4/pkg/libvcpu/include/ARCH-x86/vcpu_arch.h
index 0a27b6f6f12dcb38f32909b0aaa8a6fad6bd37c3..c944a1a846e506857f303bb66e6cd0dc4bfcf847 100644 (file)
--- a/l4/pkg/libvcpu/include/ARCH-x86/vcpu_arch.h
+++ b/l4/pkg/libvcpu/include/ARCH-x86/vcpu_arch.h
@@ -19,14 +19,14 @@
 
 L4_CV L4_INLINE
 int
-l4vcpu_is_irq_entry(l4_vcpu_state_t *vcpu) L4_NOTHROW
+l4vcpu_is_irq_entry(l4_vcpu_state_t const *vcpu) L4_NOTHROW
 {
   return vcpu->r.trapno == 0xfe;
 }
 
 L4_CV L4_INLINE
 int
-l4vcpu_is_page_fault_entry(l4_vcpu_state_t *vcpu) L4_NOTHROW
+l4vcpu_is_page_fault_entry(l4_vcpu_state_t const *vcpu) L4_NOTHROW
 {
   return vcpu->r.trapno == 0xe;
 }