add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

1
2
3
4
5
6
7
/* SPDX-License-Identifier: GPL-2.0 */

#ifndef _ASM_ARM64_HYPERVISOR_H

#define _ASM_ARM64_HYPERVISOR_H

 

#include <asm/xen/hypervisor.h>

 

#endif