1*bb4ee6a4SAndroid Build Coastguard Worker# Copyright 2022 The ChromiumOS Authors 2*bb4ee6a4SAndroid Build Coastguard Worker# Use of this source code is governed by a BSD-style license that can be 3*bb4ee6a4SAndroid Build Coastguard Worker# found in the LICENSE file. 4*bb4ee6a4SAndroid Build Coastguard Worker 5*bb4ee6a4SAndroid Build Coastguard Worker@include /usr/share/policy/crosvm/common_device.policy 6*bb4ee6a4SAndroid Build Coastguard Worker 7*bb4ee6a4SAndroid Build Coastguard Worker# VFIO_IOMMU_MAP/UNMAP_DMA 8*bb4ee6a4SAndroid Build Coastguard Workerioctl: arg1 == 0x3B71 || arg1 == 0x3B72 9*bb4ee6a4SAndroid Build Coastguard Workerprctl: arg0 == PR_SET_NAME 10*bb4ee6a4SAndroid Build Coastguard Workertimerfd_create: 1 11*bb4ee6a4SAndroid Build Coastguard Workertimerfd_settime: 1 12*bb4ee6a4SAndroid Build Coastguard Workertimerfd_gettime: 1 13