mirror of
https://github.com/projectacrn/acrn-hypervisor.git
synced 2025-05-02 05:34:04 +00:00
3027bfab10
In the hypervisor, physical cpu id is defined as "int" or "uint32_t"
type in the hypervisor. So there are some sign conversion issues
about physical cpu id (pcpu_id) reported by static analysis tool.
Sign conversion violates the rules of MISRA C:2012.
In this patch, define physical cpu id as "uint16_t" type for all
modules in the hypervisor and change related codes. The valid
range of pcpu_id is 0~65534, INVALID_PCPU_ID is defined to the
invalid pcpu_id for error detection, BROADCAST_PCPU_ID is
broadcast pcpu_id used to notify all valid pcpu.
The type of pcpu_id in the struct vcpu and vcpu_id is "int" type,
this will be fixed in another patch.
V1-->V2:
* Change the type of pcpu_id from uint32_t to uint16_t;
* Define INVALID_PCPU_ID for error detection;
* Define BROADCAST_PCPU_ID to notify all valid pcpu.
V2-->V3:
* Update comments for INVALID_PCPU_ID and BROADCAST_PCPU_ID;
* Update addtional pcpu_id;
* Convert hexadecimals to unsigned to meet the type of pcpu_id;
* Clean up for MIN_PCPU_ID and MAX_PCPU_ID, they will be
defined by configuration.
Note: fix bug in the init_lapic(), the pcpu_id shall be less than 8,
this is constraint by implement in the init_lapic().
Signed-off-by: Xiangyang Wu <xiangyang.wu@intel.com>
Acked-by: Eddie Dong <eddie.dong@intel.com>
137 lines
2.9 KiB
C
137 lines
2.9 KiB
C
/*
|
|
* SHARED BUFFER
|
|
*
|
|
* Copyright (C) 2017 Intel Corporation. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*
|
|
* Li Fei <fei1.li@intel.com>
|
|
*
|
|
*/
|
|
|
|
#ifndef SHARED_BUFFER_H
|
|
#define SHARED_BUFFER_H
|
|
|
|
#define SBUF_MAGIC 0x5aa57aa71aa13aa3
|
|
#define SBUF_MAX_SIZE (1 << 22)
|
|
#define SBUF_HEAD_SIZE 64
|
|
|
|
/* sbuf flags */
|
|
#define OVERRUN_CNT_EN (1 << 0) /* whether overrun counting is enabled */
|
|
#define OVERWRITE_EN (1 << 1) /* whether overwrite is enabled */
|
|
|
|
/**
|
|
* (sbuf) head + buf (store (ele_num - 1) elements at most)
|
|
* buffer empty: tail == head
|
|
* buffer full: (tail + ele_size) % size == head
|
|
*
|
|
* Base of memory for elements
|
|
* |
|
|
* |
|
|
* ----------------------------------------------------------------------
|
|
* | struct shared_buf | raw data (ele_size)| ... | raw data (ele_size) |
|
|
* ----------------------------------------------------------------------
|
|
* |
|
|
* |
|
|
* struct shared_buf *buf
|
|
*/
|
|
|
|
enum {
|
|
ACRN_TRACE,
|
|
ACRN_HVLOG,
|
|
ACRN_SBUF_ID_MAX,
|
|
};
|
|
|
|
/* Make sure sizeof(struct shared_buf) == SBUF_HEAD_SIZE */
|
|
struct shared_buf {
|
|
uint64_t magic;
|
|
uint32_t ele_num; /* number of elements */
|
|
uint32_t ele_size; /* sizeof of elements */
|
|
uint32_t head; /* offset from base, to read */
|
|
uint32_t tail; /* offset from base, to write */
|
|
uint64_t flags;
|
|
uint32_t overrun_cnt; /* count of overrun */
|
|
uint32_t size; /* ele_num * ele_size */
|
|
uint32_t padding[6];
|
|
};
|
|
|
|
#ifdef HV_DEBUG
|
|
|
|
static inline void sbuf_clear_flags(struct shared_buf *sbuf, uint64_t flags)
|
|
{
|
|
sbuf->flags &= ~flags;
|
|
}
|
|
|
|
static inline void sbuf_set_flags(struct shared_buf *sbuf, uint64_t flags)
|
|
{
|
|
sbuf->flags = flags;
|
|
}
|
|
|
|
static inline void sbuf_add_flags(struct shared_buf *sbuf, uint64_t flags)
|
|
{
|
|
sbuf->flags |= flags;
|
|
}
|
|
|
|
struct shared_buf *sbuf_allocate(uint32_t ele_num, uint32_t ele_size);
|
|
void sbuf_free(struct shared_buf *sbuf);
|
|
int sbuf_get(struct shared_buf *sbuf, uint8_t *data);
|
|
int sbuf_put(struct shared_buf *sbuf, uint8_t *data);
|
|
int sbuf_share_setup(uint16_t pcpu_id, uint32_t sbuf_id, uint64_t *hva);
|
|
|
|
#else /* HV_DEBUG */
|
|
|
|
static inline void sbuf_clear_flags(
|
|
__unused struct shared_buf *sbuf,
|
|
__unused uint64_t flags)
|
|
{
|
|
}
|
|
|
|
static inline void sbuf_set_flags(
|
|
__unused struct shared_buf *sbuf,
|
|
__unused uint64_t flags)
|
|
{
|
|
}
|
|
|
|
static inline void sbuf_add_flags(
|
|
__unused struct shared_buf *sbuf,
|
|
__unused uint64_t flags)
|
|
{
|
|
}
|
|
|
|
static inline struct shared_buf *sbuf_allocate(
|
|
__unused uint32_t ele_num,
|
|
__unused uint32_t ele_size)
|
|
{
|
|
return NULL;
|
|
}
|
|
|
|
static inline void sbuf_free(
|
|
__unused struct shared_buf *sbuf)
|
|
{
|
|
}
|
|
|
|
static inline int sbuf_get(
|
|
__unused struct shared_buf *sbuf,
|
|
__unused uint8_t *data)
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
static inline int sbuf_put(
|
|
__unused struct shared_buf *sbuf,
|
|
__unused uint8_t *data)
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
static inline int sbuf_share_setup(
|
|
__unused uint16_t pcpu_id,
|
|
__unused uint32_t sbuf_id,
|
|
__unused uint64_t *hva)
|
|
{
|
|
return -1;
|
|
}
|
|
#endif /* HV_DEBUG */
|
|
|
|
#endif /* SHARED_BUFFER_H */
|