1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 *
4 * Copyright (C) 2013 Freescale Semiconductor, Inc.
5 */
6
7#ifndef __FSL_PAMU_DOMAIN_H
8#define __FSL_PAMU_DOMAIN_H
9
10#include "fsl_pamu.h"
11
12struct fsl_dma_domain {
13	/* list of devices associated with the domain */
14	struct list_head		devices;
15	u32				stash_id;
16	struct iommu_domain		iommu_domain;
17	spinlock_t			domain_lock;
18};
19
20/* domain-device relationship */
21struct device_domain_info {
22	struct list_head link;	/* link to domain siblings */
23	struct device *dev;
24	u32 liodn;
25	struct fsl_dma_domain *domain; /* pointer to domain */
26};
27#endif  /* __FSL_PAMU_DOMAIN_H */
28