/* This file is part of the coreboot project. */
/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef _SOC_QUALCOMM_SC7180_MMU_H_
#define _SOC_QUALCOMM_SC7180_MMU_H_

void sc7180_mmu_init(void);

#endif /* _SOC_QUALCOMM_SC7180_MMU_H_ */