/*
 * Copyright (C) 2023-2025 Intel Corporation.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef RISCV_VCPU_H
#define RISCV_VCPU_H

struct acrn_vcpu {

};

#endif /* RISCV_VCPU_H */