enable sata

hc

2024-08-14 93e8ba98c407598d13d8ade71bc7802acfb19c58

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