Changeset d7dfa05 in mainline for kernel/generic/include/ipc/irq.h

Timestamp:

2019-06-20T14:07:25Z (6 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

5acf533

Parents:

64b7854

Message:

Make the types ccheck-safe

Instead of using uspace_ptr(char), use uspace_ptr_char which is
defined as #define uspace_ptr_char uspace_ptr(char).

File:

• kernel/generic/include/ipc/irq.h (modified) (1 diff)

kernel/generic/include/ipc/irq.h

@@ -50 +50 @@
 extern void ipc_irq_top_half_handler(irq_t *);
 
-extern errno_t ipc_irq_subscribe(answerbox_t *, inr_t, sysarg_t, uspace_ptr(irq_code_t),
-    uspace_ptr(cap_irq_handle_t));
+extern errno_t ipc_irq_subscribe(answerbox_t *, inr_t, sysarg_t, uspace_ptr_irq_code_t,
+    uspace_ptr_cap_irq_handle_t);
 extern errno_t ipc_irq_unsubscribe(answerbox_t *, cap_irq_handle_t);