diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-02-27 14:43:24 +0100 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-02-27 14:43:24 +0100 |
| commit | 9c9e0b826cc986dea7a6f1d6cc331c37ed9b469d (patch) | |
| tree | 025fe2053fa94d98ac3c43acfd03d4eda1f98743 | |
| parent | 9a5cc3cf8c30bea6277291d083fe421d1cc706ed (diff) | |
Add `flags` in RPC device_intr_notify definition.
| -rw-r--r-- | libddekit/device.defs | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |