Changeset 285 for trunk/hal/x86_64/core/hal_irqmask.c

Timestamp:

Jul 27, 2017, 3:29:48 PM (7 years ago)

Author:

max@…

Message:

Must be reg_t.

File:

• trunk/hal/x86_64/core/hal_irqmask.c (modified) (3 diffs)

trunk/hal/x86_64/core/hal_irqmask.c

@@ -24 +24 @@
 #include <hal_segmentation.h>
 
-inline void hal_disable_irq(uint32_t *old)
+inline void hal_disable_irq(reg_t *old)
 {
         tls_t *tls = curcpu();
@@ -34 +34 @@
 }
 
-inline void hal_enable_irq(uint32_t *old)
+inline void hal_enable_irq(reg_t *old)
 {
         tls_t *tls = curcpu();
@@ -44 +44 @@
 }
 
-inline void hal_restore_irq(uint32_t old)
+inline void hal_restore_irq(reg_t old)
 {
         tls_t *tls = curcpu();