Re: [PATCH 3/5] fix exception message format for 64-bit userspace

2023-04-20 Thread Luca Dariz
Hi Flavio, Il 20/04/23 04:04, Flávio Cruz ha scritto: On Wed, Apr 19, 2023 at 3:47 PM Luca Dariz > wrote: * kern/exception.c: message fields need to be aligned to 8 bytes for a   64-bit userspace, so add the required padding if needed, as done by   MIG. I

Re: [PATCH 3/5] fix exception message format for 64-bit userspace

2023-04-19 Thread Flávio Cruz
Hi Lucas, On Wed, Apr 19, 2023 at 3:47 PM Luca Dariz wrote: > * kern/exception.c: message fields need to be aligned to 8 bytes for a > 64-bit userspace, so add the required padding if needed, as done by > MIG. > --- > kern/exception.c | 6 ++ > 1 file changed, 6 insertions(+) > > diff -

[PATCH 3/5] fix exception message format for 64-bit userspace

2023-04-19 Thread Luca Dariz
* kern/exception.c: message fields need to be aligned to 8 bytes for a 64-bit userspace, so add the required padding if needed, as done by MIG. --- kern/exception.c | 6 ++ 1 file changed, 6 insertions(+) diff --git a/kern/exception.c b/kern/exception.c index 10435b5c..757f793e 100644 ---