diff options
| -rw-r--r-- | drivers/edgetpu/abrolhos/config.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/drivers/edgetpu/abrolhos/config.h b/drivers/edgetpu/abrolhos/config.h index 57d6170..9cb5ffc 100644 --- a/drivers/edgetpu/abrolhos/config.h +++ b/drivers/edgetpu/abrolhos/config.h @@ -20,6 +20,9 @@ /* Reserved VCID that uses the extra partition. */ #define EDGETPU_VCID_EXTRA_PARTITION 0 +/* Pre-allocate 1 IOMMU domain per VCID */ +#define EDGETPU_NUM_PREALLOCATED_DOMAINS EDGETPU_NUM_VCIDS + /* Is a "mobile" style device. */ #define EDGETPU_FEATURE_MOBILE #define EDGETPU_HAS_WAKELOCK |