Page MenuHomeFreeBSD

xen/arm64: add aarch64 hypercall interface
Needs ReviewPublic

Authored by on Jul 2 2021, 5:38 AM.
Referenced Files
Unknown Object (File)
Fri, Apr 12, 10:29 AM
Unknown Object (File)
Thu, Apr 11, 6:41 AM
Unknown Object (File)
Mon, Apr 8, 9:15 PM
Unknown Object (File)
Fri, Mar 29, 12:02 AM
Unknown Object (File)
Mon, Mar 18, 8:12 PM
Unknown Object (File)
Mar 8 2024, 4:03 PM
Unknown Object (File)
Dec 28 2023, 3:07 PM
Unknown Object (File)
Dec 20 2023, 8:31 AM



These are the low-level interface for Xen on ARM64. Not all of the
interface is included since we don't use all portions of Xen's API.

This was broken off of a "xen/arm64: add xen platform" commit. The
original commit was on the large side, and the hypercall code seemed
distinct from other portions.

A few small adjustments were needed from the original implementation in

Submitted by: Elliott Mitchell <>
Original implementation: Julien Grall <>, 2014-01-13 17:40:58

Diff Detail

rG FreeBSD src repository
Lint Passed
No Test Coverage
Build Status
Buildable 52322
Build 49213: arc lint + arc unit

Event Timeline

I had been expecting to manually flag this, but I see it has been setup to preemptively alert people.

That license does need checking. My reading is this falls under "when distributed separately from the Linux kernel or incorporated into other software packages, subject to the following license:"

This matches the license for sys/{amd64|i386}/include/xen/hypercall.h, so I believe this is acceptable.

Any news from the core team? I can well imagine license reviews taking a while, but since this matches existing files I would expect that to greatly simplify things.

The Phabricator interface seems to suggest it is possible to remove the Core Team blocking review, but I suspect that is a no-no in cases like this. Due to this could @emaste or @imp give the Core Team okay? Appears the license was approved elsewhere and this isn't GPL (it is a permissive if separated from the Linux kernel).

I suspect @mhorne will be the final reviewer since this is for ARM64.

kevans added a subscriber: kevans.

Was there a GPL reference in here before, or what did Herald flag on? Let's see...

14 ↗(On Diff #91648)

This looks like MIT; we probably want an SPDX tag at the top of this file? I reckon:

SPDX-License-Identifier: MITOR GPL-2.0

2 ↗(On Diff #97843)

GPL-2.0 is deprecated and should not be used

SPDX-License-Identifier: MIT OR GPL-2.0-only

is the correct way to flag this.

Huh, I was so focused on interactions with @royger I missed that I've done rather substantial changes to what was D30996.

After a bunch of experimentation I finally figured got GCC's inline BSDM^Wassembly working. With this it becomes possible to mostly reuse the x86 "hypercall.h" on other architectures, which seems a rather superior approach.

I'm including the adjustments to the other headers to make the ARM64 header work. Those may get reviewed via e-mail by @royger, but someone else is certainly going to need to approve the ARM64 hypercall.h header.