1 /*
2  * Copyright (C) 2022 Intel Corporation.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <asm/vm_config.h>
8 struct pt_intx_config vm0_pt_intx[1U] = {};
9 
10 struct pt_intx_config vm1_pt_intx[1U] = {};
11