Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 994ae9d3 authored by Carl van Schaik's avatar Carl van Schaik Committed by Prakruthi Deepak Heragu
Browse files

microvisor: add microvisor system headers 



Import OKL4 Microvisor system headers with types and hypercall
definitions.

Change-Id: If888762bc29d484830f93137a5a4f545edbd6a64
Signed-off-by: default avatarCarl van Schaik <carl@cog.systems>
Git-commit: f5225a094f5bde2bedd1937f0c4e544e8dea8000
Git-repo: https://github.com/CogSystems/linux-msm/commits/msm-4.9-hyp


Signed-off-by: default avatarMurali Nalajala <mnalajal@codeaurora.org>
Signed-off-by: default avatarPrakruthi Deepak Heragu <pheragu@codeaurora.org>
parent c165ad06

include/microvisor/kernel/microvisor.h

0 → 100644
+59 −0
Original line number Diff line number Diff line 
/*

 * Copyright (c) 2012-2018 General Dynamics

 * Copyright (c) 2014 Open Kernel Labs, Inc

 *

 * Permission to use, copy, modify, and/or distribute this software for any

 * purpose with or without fee is hereby granted, provided that the above

 * copyright notice and this permission notice appear in all copies.

 *

 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES

 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF

 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR

 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES

 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN

 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF

 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

 */



/* Auto generated - do not modify */



/** @addtogroup lib_microvisor

 * @{

 */





#ifndef __AUTO__MICROVISOR_H__

#define __AUTO__MICROVISOR_H__



/** SDK Major number */

#define OKL4_SDK_VERSION_MAJOR 5

/** SDK Minor number */

#define OKL4_SDK_VERSION_MINOR 3

/**

 * If defined, indicates this is an internal development version.

 * In this case, OKL4_SDK_VERSION_RELEASE == -1

 */

#define OKL4_SDK_VERSION_DEVELOPMENT 1

/** SDK Release (revision) number */

#define OKL4_SDK_VERSION_RELEASE (-1)

/** SDK Maintenance number. Indicates the maintenance sequence revision. */

#define OKL4_SDK_VERSION_MAINTENANCE 0





/** @addtogroup lib_microvisor_helpers Microvisor Helpers

 * @{

 */



/** Common C and ASM defines. */



/** OKL4 Kernel supports a Virtual CPU (vCPU) interface. */

#define OKL4_VCPU_SUPPORT





/** OKL4 Kernel vCPU API supports SMP guest cells. */

#define OKL4_VCPU_SMP_SUPPORT





/** @} */

#endif /* __AUTO__MICROVISOR_H__ */

/** @} */