hc
2024-05-10 23fa18eaa71266feff7ba8d83022d9e1cc83c65a
1
2
/* SPDX-License-Identifier: GPL-2.0 */
#include <xen/arm/page-coherent.h>