From 9c9e0b826cc986dea7a6f1d6cc331c37ed9b469d Mon Sep 17 00:00:00 2001 From: Zheng Da Date: Sat, 27 Feb 2010 14:43:24 +0100 Subject: Add `flags` in RPC device_intr_notify definition. --- libddekit/device.defs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libddekit/device.defs b/libddekit/device.defs index 07ff58f6..ef777efe 100644 --- a/libddekit/device.defs +++ b/libddekit/device.defs @@ -48,7 +48,6 @@ subsystem serverprefix ds_; -type pci_config_data_t = array[*:4] of char; type reply_port_t = MACH_MSG_TYPE_MAKE_SEND_ONCE | polymorphic ctype: mach_port_t; @@ -154,6 +153,7 @@ routine device_intr_notify( master_port : mach_port_t; in irq : int; in id : int; + in flags : int; in receive_port : mach_port_send_t ); -- cgit v1.2.3