kernel: Hide the intrmask_t typedef from userspace with #ifdef _KERNEL.
authorImre Vadasz <imre@vdsz.com>
Tue, 13 Jan 2015 21:26:32 +0000 (22:26 +0100)
committerImre Vadasz <imre@vdsz.com>
Tue, 13 Jan 2015 21:26:32 +0000 (22:26 +0100)
sys/platform/pc32/include/types.h
sys/platform/pc64/include/types.h
sys/platform/vkernel/include/types.h
sys/platform/vkernel64/include/types.h

index b6f34f5..634c23a 100644 (file)
 #include <machine/stdint.h>
 #include <cpu/types.h>
 
+#ifdef _KERNEL
+
 /* Interrupt mask (spl, xxx_imask, etc) */
 typedef __uint32_t     intrmask_t;
 
+#endif
+
 #endif /* !_MACHINE_TYPES_H_ */
 
index b6f34f5..634c23a 100644 (file)
 #include <machine/stdint.h>
 #include <cpu/types.h>
 
+#ifdef _KERNEL
+
 /* Interrupt mask (spl, xxx_imask, etc) */
 typedef __uint32_t     intrmask_t;
 
+#endif
+
 #endif /* !_MACHINE_TYPES_H_ */
 
index e116dc5..8187708 100644 (file)
@@ -38,7 +38,9 @@
 
 #include <cpu/types.h>
 
+#ifdef _KERNEL
 typedef __uint32_t     intrmask_t;
+#endif
 
 #endif /* !_MACHINE_TYPES_H_ */
 
index d76854f..c6e1e97 100644 (file)
@@ -37,6 +37,8 @@
 
 #include <cpu/types.h>
 
+#ifdef _KERNEL
 typedef __uint32_t     intrmask_t;
+#endif
 
 #endif /* !_MACHINE_TYPES_H_ */