Flavio Cruz ad26c25137 Update code to handle the new ABI for sending inlined port rights.
For i686, this change is no op but for x86_64 it forces all inlined port
rights to be 8 bytes long.
2023-12-17 23:48:37 +01:00
..
2023-02-12 15:55:04 +01:00
2023-02-20 00:46:36 +01:00
2023-05-17 22:56:23 +02:00
2023-11-19 10:21:28 +01:00