diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2023-12-29 11:08:14 -0500 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-12-29 17:40:06 +0100 |
| commit | e5c3fa44fb75b23dc7100202e52f3d4366447851 (patch) | |
| tree | 611d767cf316f684351ec2910acaa2e2afde5114 /type.h | |
| parent | 3b1fcb2b83bb26d43dc912884499345f561d0b6a (diff) | |
Use char* for inlined arrays of char in user headers
This changes how we declare RPC user prototypes for device_read_inband
to use "char *data" rather than "io_buf_ptr_inband_t data". It is more
standard to pass a pointer to represent arrays compared to "char [128]". This
fixes a warning in console-client since GCC won't complain we are not
passing an exact char [128].
Also updated code to use const_io_buf_ptr_inband_t for
device_write_inband. This is a pointer to const data rather than a const
pointer.
Message-ID: <ZY7u7noOnHlyJi24@jupiter.tail36e24.ts.net>
Diffstat (limited to 'type.h')
0 files changed, 0 insertions, 0 deletions