Re: [RFC PATCH 0/6] xen/abi: On wide bitfields inside primitive types

[Christian Lindig <christian.lindig@xxxxxxxxx>]

> On 29 Oct 2024, at 18:16, Alejandro Vallejo <alejandro.vallejo@xxxxxxxxx> 
> wrote:
> 
> 
> The invariant I'd like to (slowly) introduce and discuss is that fields may
> have bitflags (e.g: a packed array of booleans indexed by some enumerated
> type), but not be mixed with wider fields in the same primitive type. This
> ensures any field containing an integer of any kind can be referred by pointer
> and treated the same way as any other with regards to sizeof() and the like.

Acked-by: Christian Lindig <christian.lindig@xxxxxxxxx>


Fine with me but the OCaml part is not very exposed to this.

— C