diff options
author | Justus Winter <justus@gnupg.org> | 2016-02-25 18:46:32 +0100 |
---|---|---|
committer | Justus Winter <justus@gnupg.org> | 2016-02-25 18:46:32 +0100 |
commit | 9ad7eb46b65b7324dd5f2c6f5568b6a0e033a5f4 (patch) | |
tree | aab92d03e843bcc7423124b2ec069ccb6be8e7e4 /device/ds_routines.h | |
parent | e7e91cc329b6a064d9703829911e940d7395d0a3 (diff) |
70_dde.patch
Diffstat (limited to 'device/ds_routines.h')
-rw-r--r-- | device/ds_routines.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/device/ds_routines.h b/device/ds_routines.h index c0543cb..e9f115f 100644 --- a/device/ds_routines.h +++ b/device/ds_routines.h @@ -83,4 +83,7 @@ io_return_t ds_device_writev_trap( io_buf_vec_t *iovec, vm_size_t count); +/* XXX arch-specific */ +extern ipc_port_t intr_rcv_ports[16]; + #endif /* DS_ROUTINES_H */ |