/*
 *
 * Copyright (C) 2012-2021, Samsung Electronics Co., Ltd.
 *
 * TZPC, TZASC interface, header file
 */

#ifndef __PROTECT_H__
#define __PROTECT_H__

enum {
    TZPC_DEV_RTC = 1,
    TZPC_DEV_HSI2C,
    TZPC_DEV_DMA,
    TZPC_DEV_USI,
    TZPC_DEV_DPP,
    TZPC_DEV_DECON0,
    TZPC_DEV_DPU_DMA,
    TZPC_DEV_SMMU_DPU0,
    TZPC_DEV_CNT,
};

TEE_Result protect_by_tzpc(unsigned int dev_id, bool do_protect);
TEE_Result protect_by_tzasc(unsigned int region, unsigned long start,
                            unsigned int size, bool do_protect);

#endif /* __PROTECT_H__ */