diff options
author | Flavio Cruz <flaviocruz@gmail.com> | 2023-02-19 18:06:51 -0500 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-27 23:17:03 +0100 |
commit | dac167f036465e9d7cca10c52d8345773d2e6c3f (patch) | |
tree | 0e8b8644bb217d4f95874f602224306e65979d59 /i386/i386at/model_dep.c | |
parent | d2880baef19991270cbcdbdb22622e91815faadc (diff) | |
download | gnumach-dac167f036465e9d7cca10c52d8345773d2e6c3f.tar.gz gnumach-dac167f036465e9d7cca10c52d8345773d2e6c3f.tar.bz2 gnumach-dac167f036465e9d7cca10c52d8345773d2e6c3f.zip |
Support alignment requirements for a 64 bit kernel.
We introduce both a user alignment and a kernel alignment. These are
separate requirements since for 64 bit with a 32 bit kernel we need to
ensure the kernel can consume messages that are 8-byte aligned. This
change removes any possibility of undefined behavior and also allows the
kernel to support 64 bit RPCs for the userland.
A lot of the code that performs alignment was simplified under the
assumption that the message headers are well aligned. To enforce that
going forward, a few static assertions were added.
Message-Id: <Y/KrixiC9Njmu7ef@jupiter.tail36e24.ts.net>
Diffstat (limited to 'i386/i386at/model_dep.c')
0 files changed, 0 insertions, 0 deletions