| 98 | } |
| 99 | |
| 100 | static __inline uint64_t |
| 101 | IOMMU_CREATE_MAPPING(void *domain, vm_paddr_t gpa, vm_paddr_t hpa, uint64_t len) |
| 102 | { |
| 103 | |
| 104 | if (ops != NULL && iommu_avail) |
| 105 | return ((*ops->create_mapping)(domain, gpa, hpa, len)); |
| 106 | else |
| 107 | return (len); /* XXX */ |
| 108 | } |
| 109 | |
| 110 | static __inline uint64_t |
| 111 | IOMMU_REMOVE_MAPPING(void *domain, vm_paddr_t gpa, uint64_t len) |
no outgoing calls
no test coverage detected