aboutsummaryrefslogtreecommitdiff
path: root/i386/i386at/model_dep.c
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2023-02-19 18:06:51 -0500
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-02-27 23:17:03 +0100
commitdac167f036465e9d7cca10c52d8345773d2e6c3f (patch)
tree0e8b8644bb217d4f95874f602224306e65979d59 /i386/i386at/model_dep.c
parentd2880baef19991270cbcdbdb22622e91815faadc (diff)
downloadgnumach-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