Re: [PATCH 2/2 gnumach] mach_types: Use old style struct[n] of int64_t for 64b members

Hello,

Damien Zammit, le mar. 30 juin 2026 02:32:28 +0000, a ecrit:
> This fixes host_get_time64 rpc on USER32 because new-style structs
> are not typed correctly on 32 bit mig when struct members contain 64 bit
> types.

Err, but 

	struct time_value64 t;
	printf("%d\n", __alignof__(t.seconds));

does reports 4, so, yes, we do need to use the structure here for the
time value, which does need to be expressed by mig as 32b integers, to
match the actual alignment of

struct time_value64 {
	int64_t seconds;
	int64_t nanoseconds;
};

Samuel