diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-23 02:57:02 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-23 02:57:02 +0200 |
| commit | b9a3510bd830ed5c273347cf87080574a636fa8e (patch) | |
| tree | 0cb61117edeeb70fb94693db52b803ef5d1601c3 | |
| parent | efb3fcb360327b71ef4836f60eda77ac0cab76f3 (diff) | |
rename device_intr_notify into device_intr_register
| -rw-r--r-- | libddekit/device.defs | 2 | ||||
| -rw-r--r-- | libddekit/interrupt.c | 4 | ||||
| -rw-r--r-- | libmachdev/device.defs | 2 | ||||
| -rw-r--r-- | libmachdev/ds_routines.c | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/libddekit/device.defs b/libddekit/device.defs index 3b39297a..d8968869 100644 --- a/libddekit/device.defs +++ b/libddekit/device.defs @@ -149,7 +149,7 @@ routine device_set_filter( in filter : filter_array_t ); -routine device_intr_notify( +routine device_intr_register( master_port : mach_port_t; in irq : int; in id : int; diff --git a/libddekit/interrupt.c b/libddekit/interrupt.c index 7de111d4..8085043c 100644 --- a/libddekit/interrupt.c +++ b/libddekit/interrupt.c @@ -97,10 +97,10 @@ static void intloop(void *arg) // TODO the flags for shared irq should be indicated by params->shared. // Be careful. For now, we must use shared irq. // Otherwise, the interrupt handler cannot be installed in the kernel. - ret = device_intr_notify (master_device, params->irq, + ret = device_intr_register (master_device, params->irq, 0, 0x04000000, delivery_port, MACH_MSG_TYPE_MAKE_SEND); - ddekit_printf ("device_intr_notify returns %d\n", ret); + ddekit_printf ("device_intr_register returns %d\n", ret); if (ret) { /* inform thread creator of error */ /* XXX does omega0 error code have any meaning to DDEKit users? */ diff --git a/libmachdev/device.defs b/libmachdev/device.defs index 3b39297a..d8968869 100644 --- a/libmachdev/device.defs +++ b/libmachdev/device.defs @@ -149,7 +149,7 @@ routine device_set_filter( in filter : filter_array_t ); -routine device_intr_notify( +routine device_intr_register( master_port : mach_port_t; in irq : int; in id : int; diff --git a/libmachdev/ds_routines.c b/libmachdev/ds_routines.c index cc4b74f6..6b8d1d4d 100644 --- a/libmachdev/ds_routines.c +++ b/libmachdev/ds_routines.c @@ -148,7 +148,7 @@ ds_xxx_device_set_filter (device_t device, mach_port_t rec, } io_return_t -ds_device_intr_notify (mach_port_t master_port, int irq, +ds_device_intr_register (mach_port_t master_port, int irq, int id, mach_port_t receive_port) { return D_INVALID_OPERATION; |