101 lines
2.5 KiB
C
101 lines
2.5 KiB
C
/* vbiPrv.h - virtual board interface private definitions */
|
|
|
|
/*
|
|
* Copyright (c) 2009-2011 Wind River Systems, Inc.
|
|
*
|
|
* The right to copy, distribute, modify or otherwise make use
|
|
* of this software may be licensed only pursuant to the terms
|
|
* of an applicable Wind River license agreement.
|
|
*/
|
|
|
|
/*
|
|
modification history
|
|
--------------------
|
|
01g,18apr11,wqi VBI subset for CERT hypervisor.
|
|
01f,08feb11,jlv Sync with HV 1.3 04-Feb-11 DVD
|
|
01e,24may10,jl Sync with HV 1.2 25-May-10
|
|
01d,03mar10,rgo Add vbiVbRemote prototype
|
|
01c,22sep09,d_c Defect WIND00183017 Fix WIND00183019 - sync with 18-Sep HV
|
|
DVD
|
|
01b,13jul09,to changes from v01b for HV 1.1
|
|
01a,03jul09,mmi written
|
|
*/
|
|
|
|
#ifndef __INCvbiPrvh
|
|
#define __INCvbiPrvh
|
|
|
|
#include <vxWorks.h>
|
|
#include <vsbConfig.h>
|
|
#include <wrhv/vbiVersion.h>
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif /* __cplusplus */
|
|
|
|
#ifndef _ASMLANGUAGE
|
|
|
|
_WRS_INLINE vbiStatus_t _vbiStrncmp
|
|
(
|
|
const char * s1,
|
|
const char * s2,
|
|
size_t n
|
|
)
|
|
{
|
|
if (n == 0)
|
|
return (0);
|
|
|
|
while (*s1++ == *s2++)
|
|
{
|
|
if ((s1 [-1] == EOS) || (--n == 0))
|
|
return (0);
|
|
}
|
|
|
|
return ((s1 [-1]) - (s2 [-1]));
|
|
}
|
|
|
|
/* private ioapic operator */
|
|
|
|
extern vbiStatus_t vbiIoapicOp (uint32_t ioctl, vbiIrq_t irq, uint32_t filter,
|
|
vbiVb_t vbId);
|
|
|
|
/* private interrupt redirection operator */
|
|
|
|
extern vbiStatus_t vbiVcoreIntRed_op (vbiIrq_t irq, vbiCore_t CoreId);
|
|
|
|
/* Name service private operator */
|
|
|
|
extern vbiStatus_t vbiNsOp (uint32_t op, char* name, uint32_t rev,
|
|
VBI_NS_HANDLE *handle, uint32_t timeout,
|
|
uint32_t options);
|
|
|
|
#if !defined(_WRS_CONFIG_WRHV_GUEST_CERT) && !defined(_WRS_CONFIG_WRHV_GUEST_CERT_DEBUG)
|
|
|
|
/* Message receive private operator */
|
|
|
|
extern vbiStatus_t vbiReceiveOp
|
|
(
|
|
void *rmsg, /* pointer to message to receive */
|
|
uint32_t rlen, /* length of message to receive */
|
|
VBI_MSG_INFO *info, /* status info structure pointer */
|
|
VBI_MSG_CTL *ctl /* control data structure pointer */
|
|
);
|
|
|
|
/* Remote VB private operator */
|
|
|
|
extern vbiStatus_t vbiVbRemote
|
|
(
|
|
uint32_t op, /* VB Remote operation */
|
|
vbiVb_t boardID, /* Board ID */
|
|
vbiCore_t coreID, /* Core ID */
|
|
vbiGuestPhysAddr_t * out /* Pointer to store return value */
|
|
);
|
|
#endif /* !_WRS_CONFIG_WRHV_GUEST_CERT && !_WRS_CONFIG_WRHV_GUEST_CERT_DEBUG */
|
|
|
|
#endif /* _ASMLANGUAGE */
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif /* __cplusplus */
|
|
|
|
#endif /* __INCvbiPrvh */
|