As was pointed out by 0e2e54966af5 ("mm: fix public declaration of struct xen_mem_acquire_resource"), we're not currently handling structs correctly that have uint64_aligned_t fields. Patch 2 demonstrates that there was also an issue with XEN_GUEST_HANDLE_64().
1: x86: fix compat header generation 2: x86/mce: add compat struct checking for XEN_MC_inject_v2 3: x86/mce: bring hypercall subop compat checking in sync again 4: x86/dmop: add compat struct checking for XEN_DMOP_map_mem_type_to_ioreq_server 5: evtchn: add compat struct checking for newer sub-ops 6: x86: generalize padding field handling 7: flask: drop dead compat translation code 8: x86: only generate compat headers actually needed v3: Build fix for old gcc in patch 1. New patch 5. Jan