/* SPDX-License-Identifier: GPL-2.0-only WITH Linux-syscall-note */
/*
 * Copyright (C) 2020 Cogent Embedded Inc.
 * Copyright (C) 2020 Renesas Electronics Corporation
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 */
#ifndef __LINUX_RCAR_IPMMU_DOMAINS_H__
#define __LINUX_RCAR_IPMMU_DOMAINS_H__

#define RCAR_IPMMU_INVALID	0
#define RCAR_IPMMU_MM		1
#define RCAR_IPMMU_VI0		2
#define RCAR_IPMMU_VI1		3
#define RCAR_IPMMU_VP0		4
#define RCAR_IPMMU_VP1		5
#define RCAR_IPMMU_VC0		6
#define RCAR_IPMMU_VC1		7
#define RCAR_IPMMU_PV0		8
#define RCAR_IPMMU_PV1		9
#define RCAR_IPMMU_PV2		10
#define RCAR_IPMMU_PV3		11
#define RCAR_IPMMU_IR		12
#define RCAR_IPMMU_HC		13
#define RCAR_IPMMU_RT0		14
#define RCAR_IPMMU_RT1		15
#define RCAR_IPMMU_MP		16
#define RCAR_IPMMU_DS0		17
#define RCAR_IPMMU_DS1		18
#define RCAR_IPMMU_VIP0		19
#define RCAR_IPMMU_VIP1		20
#define RCAR_IPMMU_3DG		21
#define RCAR_IPMMU_VC		22

#endif /* __LINUX_RCAR_IPMMU_DOMAINS_H__ */