On Sat, Jan 14, 2023 at 3:19 AM Gary Guo <gary@garyguo.net> wrote:>> This is a definitely a bindgen bug. I'll have a think about how to fix> it...Added your PR to the list athttps://github.com/Rust-for-Linux/linux/issues/353, thanks Gary!Cheers,Miguel