Re: [PATCH v4 0/7] MR2568: win32u: Support setting the current mode using gdi_device_manager.

[Rémi Bernon (＠rbernon)]

Eh, you went the hard way. I didn't want to suggest putting the helper in the global header, it's unlikely to be accepted. Instead just put a TU-local helper and copy it around where you'd need it.