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-11-19 10:21:28 +01:00
2021-12-28 10:28:22 +01:00
2023-04-03 00:55:12 +02:00
2023-02-01 23:32:21 +01:00
2023-02-12 15:55:04 +01:00
2023-02-12 15:56:21 +01:00