| /* SPDX-License-Identifier: GPL-2.0 */ |
| /* |
| * intel-pasid.h - PASID idr, table and entry header |
| * |
| * Copyright (C) 2018 Intel Corporation |
| * |
| * Author: Lu Baolu <baolu.lu@linux.intel.com> |
| */ |
| |
| #ifndef __INTEL_PASID_H |
| #define __INTEL_PASID_H |
| |
| #define PASID_MIN 0x1 |
| #define PASID_MAX 0x20000 |
| |
| struct pasid_entry { |
| u64 val; |
| }; |
| |
| /* The representative of a PASID table */ |
| struct pasid_table { |
| void *table; /* pasid table pointer */ |
| int order; /* page order of pasid table */ |
| int max_pasid; /* max pasid */ |
| struct list_head dev; /* device list */ |
| }; |
| |
| extern u32 intel_pasid_max_id; |
| int intel_pasid_alloc_id(void *ptr, int start, int end, gfp_t gfp); |
| void intel_pasid_free_id(int pasid); |
| void *intel_pasid_lookup_id(int pasid); |
| int intel_pasid_alloc_table(struct device *dev); |
| void intel_pasid_free_table(struct device *dev); |
| struct pasid_table *intel_pasid_get_table(struct device *dev); |
| int intel_pasid_get_dev_max_id(struct device *dev); |
| struct pasid_entry *intel_pasid_get_entry(struct device *dev, int pasid); |
| void intel_pasid_clear_entry(struct device *dev, int pasid); |
| |
| #endif /* __INTEL_PASID_H */ |