HYPERVISOR_xen_version
if (HYPERVISOR_xen_version(XENVER_capabilities, &caps) != 0)
if (HYPERVISOR_xen_version(XENVER_platform_parameters, &p) != 0)
(void) HYPERVISOR_xen_version(XENVER_platform_parameters, &p);
if ((HYPERVISOR_xen_version(XENVER_capabilities, &caps) == 0)) {
error = HYPERVISOR_xen_version(cmd, op_ie.ie_kaddr);
ver = HYPERVISOR_xen_version(XENVER_version, 0);
(void) HYPERVISOR_xen_version(XENVER_extraversion, &xenver[idx].xv_ver);
(void) HYPERVISOR_xen_version(XENVER_changeset,
(void) HYPERVISOR_xen_version(XENVER_compile_info,
(void) HYPERVISOR_xen_version(XENVER_capabilities,
extern long HYPERVISOR_xen_version(int, void *);