diff options
author | Damien Zammit <damien@zamaudio.com> | 2020-07-09 23:11:44 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-07-09 23:28:39 +0200 |
commit | c0240fcf66e7dc74bcebedfa75bb685fbff705cc (patch) | |
tree | dd701d76dd8bbc83ecaa929a602bf710dac8c855 /include/device/notify.defs | |
parent | 6cd23e1aa4f3557260e0cf75a2de2c142f8d8f48 (diff) |
Fix RPC interface
Diffstat (limited to 'include/device/notify.defs')
-rw-r--r-- | include/device/notify.defs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/device/notify.defs b/include/device/notify.defs index ea374d26..7919b339 100644 --- a/include/device/notify.defs +++ b/include/device/notify.defs @@ -33,4 +33,4 @@ serverdemux device_intr_notify_server; simpleroutine device_intr_notify( notify : notify_port_t; - name : int); + id : int); |