Page MenuHomeFreeBSD

xen/arm64: add aarch64 hypercall interface
Needs ReviewPublic

Authored by on Jul 2 2021, 5:38 AM.
Referenced Files
Unknown Object (File)
Wed, May 3, 7:45 PM
Unknown Object (File)
Apr 15 2023, 1:48 AM
Unknown Object (File)
Mar 19 2023, 11:54 PM
Unknown Object (File)
Mar 5 2023, 7:32 AM
Unknown Object (File)
Mar 3 2023, 10:16 AM
Unknown Object (File)
Feb 15 2023, 9:39 PM
Unknown Object (File)
Feb 12 2023, 6:41 PM
Unknown Object (File)
Jan 24 2023, 11:35 PM



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

rS FreeBSD src repository - subversion
Lint Passed
No Test Coverage
Build Status
Buildable 42536
Build 39424: 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...


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


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.