diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-02-27 14:51:03 +0100 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-02-27 14:51:03 +0100 |
| commit | 60d1d5946864403422291f8b1136cef7ccbe5e41 (patch) | |
| tree | e4677ddddacac1420fec75e3b870f7b41532d2c8 /libmachdev | |
| parent | 44f34a7ad2d0c21621d5b9f8004af0dc0dcadffe (diff) | |
Add `flags` in device_intr_notify in libmachdev.
Diffstat (limited to 'libmachdev')
| -rw-r--r-- | libmachdev/device.defs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libmachdev/device.defs b/libmachdev/device.defs index b514b3b9..ef777efe 100644 --- a/libmachdev/device.defs +++ b/libmachdev/device.defs @@ -153,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 ); |