/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 */

#ifndef TZ_SSVCE_PL310_H
#define TZ_SSVCE_PL310_H

#include <util.h>
#include <kernel/tz_ssvce_def.h>
#include <types_ext.h>

vaddr_t pl310_base(void);
/*
 * End address is included in the range (last address in range)
 */
void arm_cl2_cleaninvbyway(vaddr_t pl310_base);
void arm_cl2_invbyway(vaddr_t pl310_base);
void arm_cl2_cleanbyway(vaddr_t pl310_base);
void arm_cl2_cleanbypa(vaddr_t pl310_base, paddr_t start, paddr_t end);
void arm_cl2_invbypa(vaddr_t pl310_base, paddr_t start, paddr_t end);
void arm_cl2_cleaninvbypa(vaddr_t pl310_base, paddr_t start, paddr_t end);

#endif /* TZ_SSVCE_PL310_H */