hc
2024-08-13 f258bb3ae540ccc311fd344a0121bba1928b85dd
1
2
/* SPDX-License-Identifier: GPL-2.0 */
#include <xen/arm/page-coherent.h>