hc
2024-03-22 ac5f19e89dcbd5c7428fcc78a0d407c887564466
1
2
/* SPDX-License-Identifier: GPL-2.0 */
#include <xen/arm/page-coherent.h>