.. SPDX-License-Identifier: CC-BY-4.0

Error Return Value
------------------

`XenProd~hyp_err_ret_val~1`

Description:
In case any hypercall fails, Xen shall return one of the error codes defined
in http://xenbits.xen.org/gitweb/?p=xen.git;a=blob;f=xen/include/public/errno.h.

Rationale:

Comments:

Covers:
 - `XenMkt~version_hypercall~1`

Needs:
 - XenSwdgn
