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

#include <asm/vm_config.h>
struct pt_intx_config vm0_pt_intx[1U] = {};

struct pt_intx_config vm1_pt_intx[1U] = {};
