On Mon, 2021-10-25 at 13:43 +0200, Paolo Bonzini wrote: > On 23/10/21 21:47, Woodhouse, David wrote: > > BUILD_BUG_ON(sizeof(((struct vcpu_runstate_info *)0)->state) != > > sizeof(vx->current_runstate)); > > BUILD_BUG_ON(sizeof(((struct compat_vcpu_runstate_info *)0)->state) != > > sizeof(vx->current_runstate)); > > We can also use sizeof_field here, while you're at it (separate patch, > though). Ack. I'm about to work on event channel delivery from within the kernel, so I'll do so as part of that series. Thanks. Amazon Development Centre (London) Ltd. Registered in England and Wales with registration number 04543232 with its registered office at 1 Principal Place, Worship Street, London EC2A 2FA, United Kingdom.