This is a verbatim copy of the public headers from Xen commit
747424c664bb164a04e7a9f2ffbf02d4a1630d7d (post 4.15).
Notably for FreeBSD this includes fixes of ARM64 which make them
compatible with FreeBSD's kernel build environment (previously had
typeof() instead of typeof()).