server: Add a specific data type for ioctl codes so they can be printed as symbols.
diff --git a/server/protocol.def b/server/protocol.def
index e9e3c1e..9aff9e6 100644
--- a/server/protocol.def
+++ b/server/protocol.def
@@ -37,6 +37,7 @@
typedef unsigned int process_id_t;
typedef unsigned int thread_id_t;
typedef unsigned int data_size_t;
+typedef unsigned int ioctl_code_t;
struct request_header
{
@@ -1967,7 +1968,7 @@
/* Perform an ioctl on a file */
@REQ(ioctl)
obj_handle_t handle; /* handle to the device */
- unsigned int code; /* ioctl code */
+ ioctl_code_t code; /* ioctl code */
async_data_t async; /* async I/O parameters */
VARARG(in_data,bytes); /* ioctl input data */
@REPLY
