xref: /qemu/hw/i386/intel_iommu_internal.h (revision a3f409cb4a35d9aa6a4d24a7a1e05423e189cb7a)
11da12ec4SLe Tan /*
21da12ec4SLe Tan  * QEMU emulation of an Intel IOMMU (VT-d)
31da12ec4SLe Tan  *   (DMA Remapping device)
41da12ec4SLe Tan  *
51da12ec4SLe Tan  * Copyright (C) 2013 Knut Omang, Oracle <knut.omang@oracle.com>
61da12ec4SLe Tan  * Copyright (C) 2014 Le Tan, <tamlokveer@gmail.com>
71da12ec4SLe Tan  *
81da12ec4SLe Tan  * This program is free software; you can redistribute it and/or modify
91da12ec4SLe Tan  * it under the terms of the GNU General Public License as published by
101da12ec4SLe Tan  * the Free Software Foundation; either version 2 of the License, or
111da12ec4SLe Tan  * (at your option) any later version.
121da12ec4SLe Tan 
131da12ec4SLe Tan  * This program is distributed in the hope that it will be useful,
141da12ec4SLe Tan  * but WITHOUT ANY WARRANTY; without even the implied warranty of
151da12ec4SLe Tan  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
161da12ec4SLe Tan  * GNU General Public License for more details.
171da12ec4SLe Tan 
181da12ec4SLe Tan  * You should have received a copy of the GNU General Public License along
191da12ec4SLe Tan  * with this program; if not, see <http://www.gnu.org/licenses/>.
201da12ec4SLe Tan  *
211da12ec4SLe Tan  * Lots of defines copied from kernel/include/linux/intel-iommu.h:
221da12ec4SLe Tan  *   Copyright (C) 2006-2008 Intel Corporation
231da12ec4SLe Tan  *   Author: Ashok Raj <ashok.raj@intel.com>
241da12ec4SLe Tan  *   Author: Anil S Keshavamurthy <anil.s.keshavamurthy@intel.com>
251da12ec4SLe Tan  *
261da12ec4SLe Tan  */
271da12ec4SLe Tan 
281da12ec4SLe Tan #ifndef HW_I386_INTEL_IOMMU_INTERNAL_H
291da12ec4SLe Tan #define HW_I386_INTEL_IOMMU_INTERNAL_H
301da12ec4SLe Tan #include "hw/i386/intel_iommu.h"
311da12ec4SLe Tan 
321da12ec4SLe Tan /*
331da12ec4SLe Tan  * Intel IOMMU register specification
341da12ec4SLe Tan  */
351da12ec4SLe Tan #define DMAR_VER_REG            0x0  /* Arch version supported by this IOMMU */
361da12ec4SLe Tan #define DMAR_CAP_REG            0x8  /* Hardware supported capabilities */
371da12ec4SLe Tan #define DMAR_CAP_REG_HI         0xc  /* High 32-bit of DMAR_CAP_REG */
381da12ec4SLe Tan #define DMAR_ECAP_REG           0x10 /* Extended capabilities supported */
391da12ec4SLe Tan #define DMAR_ECAP_REG_HI        0X14
401da12ec4SLe Tan #define DMAR_GCMD_REG           0x18 /* Global command */
411da12ec4SLe Tan #define DMAR_GSTS_REG           0x1c /* Global status */
421da12ec4SLe Tan #define DMAR_RTADDR_REG         0x20 /* Root entry table */
431da12ec4SLe Tan #define DMAR_RTADDR_REG_HI      0X24
441da12ec4SLe Tan #define DMAR_CCMD_REG           0x28 /* Context command */
451da12ec4SLe Tan #define DMAR_CCMD_REG_HI        0x2c
461da12ec4SLe Tan #define DMAR_FSTS_REG           0x34 /* Fault status */
471da12ec4SLe Tan #define DMAR_FECTL_REG          0x38 /* Fault control */
481da12ec4SLe Tan #define DMAR_FEDATA_REG         0x3c /* Fault event interrupt data */
491da12ec4SLe Tan #define DMAR_FEADDR_REG         0x40 /* Fault event interrupt addr */
501da12ec4SLe Tan #define DMAR_FEUADDR_REG        0x44 /* Upper address */
511da12ec4SLe Tan #define DMAR_AFLOG_REG          0x58 /* Advanced fault control */
521da12ec4SLe Tan #define DMAR_AFLOG_REG_HI       0X5c
531da12ec4SLe Tan #define DMAR_PMEN_REG           0x64 /* Enable protected memory region */
541da12ec4SLe Tan #define DMAR_PLMBASE_REG        0x68 /* PMRR low addr */
551da12ec4SLe Tan #define DMAR_PLMLIMIT_REG       0x6c /* PMRR low limit */
561da12ec4SLe Tan #define DMAR_PHMBASE_REG        0x70 /* PMRR high base addr */
571da12ec4SLe Tan #define DMAR_PHMBASE_REG_HI     0X74
581da12ec4SLe Tan #define DMAR_PHMLIMIT_REG       0x78 /* PMRR high limit */
591da12ec4SLe Tan #define DMAR_PHMLIMIT_REG_HI    0x7c
601da12ec4SLe Tan #define DMAR_IQH_REG            0x80 /* Invalidation queue head */
611da12ec4SLe Tan #define DMAR_IQH_REG_HI         0X84
621da12ec4SLe Tan #define DMAR_IQT_REG            0x88 /* Invalidation queue tail */
631da12ec4SLe Tan #define DMAR_IQT_REG_HI         0X8c
641da12ec4SLe Tan #define DMAR_IQA_REG            0x90 /* Invalidation queue addr */
651da12ec4SLe Tan #define DMAR_IQA_REG_HI         0x94
661da12ec4SLe Tan #define DMAR_ICS_REG            0x9c /* Invalidation complete status */
671da12ec4SLe Tan #define DMAR_IRTA_REG           0xb8 /* Interrupt remapping table addr */
681da12ec4SLe Tan #define DMAR_IRTA_REG_HI        0xbc
691da12ec4SLe Tan #define DMAR_IECTL_REG          0xa0 /* Invalidation event control */
701da12ec4SLe Tan #define DMAR_IEDATA_REG         0xa4 /* Invalidation event data */
711da12ec4SLe Tan #define DMAR_IEADDR_REG         0xa8 /* Invalidation event address */
721da12ec4SLe Tan #define DMAR_IEUADDR_REG        0xac /* Invalidation event address */
731da12ec4SLe Tan #define DMAR_PQH_REG            0xc0 /* Page request queue head */
741da12ec4SLe Tan #define DMAR_PQH_REG_HI         0xc4
751da12ec4SLe Tan #define DMAR_PQT_REG            0xc8 /* Page request queue tail*/
761da12ec4SLe Tan #define DMAR_PQT_REG_HI         0xcc
771da12ec4SLe Tan #define DMAR_PQA_REG            0xd0 /* Page request queue address */
781da12ec4SLe Tan #define DMAR_PQA_REG_HI         0xd4
791da12ec4SLe Tan #define DMAR_PRS_REG            0xdc /* Page request status */
801da12ec4SLe Tan #define DMAR_PECTL_REG          0xe0 /* Page request event control */
811da12ec4SLe Tan #define DMAR_PEDATA_REG         0xe4 /* Page request event data */
821da12ec4SLe Tan #define DMAR_PEADDR_REG         0xe8 /* Page request event address */
831da12ec4SLe Tan #define DMAR_PEUADDR_REG        0xec /* Page event upper address */
841da12ec4SLe Tan #define DMAR_MTRRCAP_REG        0x100 /* MTRR capability */
851da12ec4SLe Tan #define DMAR_MTRRCAP_REG_HI     0x104
861da12ec4SLe Tan #define DMAR_MTRRDEF_REG        0x108 /* MTRR default type */
871da12ec4SLe Tan #define DMAR_MTRRDEF_REG_HI     0x10c
881da12ec4SLe Tan 
891da12ec4SLe Tan /* IOTLB registers */
901da12ec4SLe Tan #define DMAR_IOTLB_REG_OFFSET   0xf0 /* Offset to the IOTLB registers */
911da12ec4SLe Tan #define DMAR_IVA_REG            DMAR_IOTLB_REG_OFFSET /* Invalidate address */
921da12ec4SLe Tan #define DMAR_IVA_REG_HI         (DMAR_IVA_REG + 4)
931da12ec4SLe Tan /* IOTLB invalidate register */
941da12ec4SLe Tan #define DMAR_IOTLB_REG          (DMAR_IOTLB_REG_OFFSET + 0x8)
951da12ec4SLe Tan #define DMAR_IOTLB_REG_HI       (DMAR_IOTLB_REG + 4)
961da12ec4SLe Tan 
971da12ec4SLe Tan /* FRCD */
981da12ec4SLe Tan #define DMAR_FRCD_REG_OFFSET    0x220 /* Offset to the fault recording regs */
991da12ec4SLe Tan /* NOTICE: If you change the DMAR_FRCD_REG_NR, please remember to change the
1001da12ec4SLe Tan  * DMAR_REG_SIZE in include/hw/i386/intel_iommu.h.
1011da12ec4SLe Tan  * #define DMAR_REG_SIZE   (DMAR_FRCD_REG_OFFSET + 16 * DMAR_FRCD_REG_NR)
1021da12ec4SLe Tan  */
1031da12ec4SLe Tan #define DMAR_FRCD_REG_NR        1ULL /* Num of fault recording regs */
1041da12ec4SLe Tan 
1051da12ec4SLe Tan #define DMAR_FRCD_REG_0_0       0x220 /* The 0th fault recording regs */
1061da12ec4SLe Tan #define DMAR_FRCD_REG_0_1       0x224
1071da12ec4SLe Tan #define DMAR_FRCD_REG_0_2       0x228
1081da12ec4SLe Tan #define DMAR_FRCD_REG_0_3       0x22c
1091da12ec4SLe Tan 
1101da12ec4SLe Tan /* Interrupt Address Range */
1111da12ec4SLe Tan #define VTD_INTERRUPT_ADDR_FIRST    0xfee00000ULL
1121da12ec4SLe Tan #define VTD_INTERRUPT_ADDR_LAST     0xfeefffffULL
113651e4cefSPeter Xu #define VTD_INTERRUPT_ADDR_SIZE     (VTD_INTERRUPT_ADDR_LAST - \
114651e4cefSPeter Xu                                      VTD_INTERRUPT_ADDR_FIRST + 1)
1151da12ec4SLe Tan 
116b5a280c0SLe Tan /* The shift of source_id in the key of IOTLB hash table */
117b5a280c0SLe Tan #define VTD_IOTLB_SID_SHIFT         36
118d66b969bSJason Wang #define VTD_IOTLB_LVL_SHIFT         44
119b5a280c0SLe Tan #define VTD_IOTLB_MAX_SIZE          1024    /* Max size of the hash table */
120b5a280c0SLe Tan 
1211da12ec4SLe Tan /* IOTLB_REG */
1221da12ec4SLe Tan #define VTD_TLB_GLOBAL_FLUSH        (1ULL << 60) /* Global invalidation */
1231da12ec4SLe Tan #define VTD_TLB_DSI_FLUSH           (2ULL << 60) /* Domain-selective */
1241da12ec4SLe Tan #define VTD_TLB_PSI_FLUSH           (3ULL << 60) /* Page-selective */
1251da12ec4SLe Tan #define VTD_TLB_FLUSH_GRANU_MASK    (3ULL << 60)
1261da12ec4SLe Tan #define VTD_TLB_GLOBAL_FLUSH_A      (1ULL << 57)
1271da12ec4SLe Tan #define VTD_TLB_DSI_FLUSH_A         (2ULL << 57)
1281da12ec4SLe Tan #define VTD_TLB_PSI_FLUSH_A         (3ULL << 57)
1291da12ec4SLe Tan #define VTD_TLB_FLUSH_GRANU_MASK_A  (3ULL << 57)
1301da12ec4SLe Tan #define VTD_TLB_IVT                 (1ULL << 63)
131b5a280c0SLe Tan #define VTD_TLB_DID(val)            (((val) >> 32) & VTD_DOMAIN_ID_MASK)
132b5a280c0SLe Tan 
133b5a280c0SLe Tan /* IVA_REG */
134b5a280c0SLe Tan #define VTD_IVA_ADDR(val)       ((val) & ~0xfffULL & ((1ULL << VTD_MGAW) - 1))
135b5a280c0SLe Tan #define VTD_IVA_AM(val)         ((val) & 0x3fULL)
1361da12ec4SLe Tan 
1371da12ec4SLe Tan /* GCMD_REG */
1381da12ec4SLe Tan #define VTD_GCMD_TE                 (1UL << 31)
1391da12ec4SLe Tan #define VTD_GCMD_SRTP               (1UL << 30)
1401da12ec4SLe Tan #define VTD_GCMD_SFL                (1UL << 29)
1411da12ec4SLe Tan #define VTD_GCMD_EAFL               (1UL << 28)
1421da12ec4SLe Tan #define VTD_GCMD_WBF                (1UL << 27)
1431da12ec4SLe Tan #define VTD_GCMD_QIE                (1UL << 26)
1441da12ec4SLe Tan #define VTD_GCMD_IRE                (1UL << 25)
1451da12ec4SLe Tan #define VTD_GCMD_SIRTP              (1UL << 24)
1461da12ec4SLe Tan #define VTD_GCMD_CFI                (1UL << 23)
1471da12ec4SLe Tan 
1481da12ec4SLe Tan /* GSTS_REG */
1491da12ec4SLe Tan #define VTD_GSTS_TES                (1UL << 31)
1501da12ec4SLe Tan #define VTD_GSTS_RTPS               (1UL << 30)
1511da12ec4SLe Tan #define VTD_GSTS_FLS                (1UL << 29)
1521da12ec4SLe Tan #define VTD_GSTS_AFLS               (1UL << 28)
1531da12ec4SLe Tan #define VTD_GSTS_WBFS               (1UL << 27)
1541da12ec4SLe Tan #define VTD_GSTS_QIES               (1UL << 26)
1551da12ec4SLe Tan #define VTD_GSTS_IRES               (1UL << 25)
1561da12ec4SLe Tan #define VTD_GSTS_IRTPS              (1UL << 24)
1571da12ec4SLe Tan #define VTD_GSTS_CFIS               (1UL << 23)
1581da12ec4SLe Tan 
1591da12ec4SLe Tan /* CCMD_REG */
1601da12ec4SLe Tan #define VTD_CCMD_ICC                (1ULL << 63)
1611da12ec4SLe Tan #define VTD_CCMD_GLOBAL_INVL        (1ULL << 61)
1621da12ec4SLe Tan #define VTD_CCMD_DOMAIN_INVL        (2ULL << 61)
1631da12ec4SLe Tan #define VTD_CCMD_DEVICE_INVL        (3ULL << 61)
1641da12ec4SLe Tan #define VTD_CCMD_CIRG_MASK          (3ULL << 61)
1651da12ec4SLe Tan #define VTD_CCMD_GLOBAL_INVL_A      (1ULL << 59)
1661da12ec4SLe Tan #define VTD_CCMD_DOMAIN_INVL_A      (2ULL << 59)
1671da12ec4SLe Tan #define VTD_CCMD_DEVICE_INVL_A      (3ULL << 59)
1681da12ec4SLe Tan #define VTD_CCMD_CAIG_MASK          (3ULL << 59)
169d92fa2dcSLe Tan #define VTD_CCMD_DID(val)           ((val) & VTD_DOMAIN_ID_MASK)
170d92fa2dcSLe Tan #define VTD_CCMD_SID(val)           (((val) >> 16) & 0xffffULL)
171d92fa2dcSLe Tan #define VTD_CCMD_FM(val)            (((val) >> 32) & 3ULL)
1721da12ec4SLe Tan 
1731da12ec4SLe Tan /* RTADDR_REG */
1741da12ec4SLe Tan #define VTD_RTADDR_RTT              (1ULL << 11)
1751da12ec4SLe Tan #define VTD_RTADDR_ADDR_MASK        (VTD_HAW_MASK ^ 0xfffULL)
1761da12ec4SLe Tan 
177a5861439SPeter Xu /* IRTA_REG */
178a5861439SPeter Xu #define VTD_IRTA_ADDR_MASK          (VTD_HAW_MASK ^ 0xfffULL)
17928589311SJan Kiszka #define VTD_IRTA_EIME               (1ULL << 11)
180a5861439SPeter Xu #define VTD_IRTA_SIZE_MASK          (0xfULL)
181a5861439SPeter Xu 
1821da12ec4SLe Tan /* ECAP_REG */
1831da12ec4SLe Tan /* (offset >> 4) << 8 */
1841da12ec4SLe Tan #define VTD_ECAP_IRO                (DMAR_IOTLB_REG_OFFSET << 4)
1851da12ec4SLe Tan #define VTD_ECAP_QI                 (1ULL << 1)
186d54bd7f8SPeter Xu /* Interrupt Remapping support */
187d54bd7f8SPeter Xu #define VTD_ECAP_IR                 (1ULL << 3)
18828589311SJan Kiszka #define VTD_ECAP_EIM                (1ULL << 4)
189*a3f409cbSRadim Krčmář #define VTD_ECAP_MHMV               (15ULL << 20)
1901da12ec4SLe Tan 
1911da12ec4SLe Tan /* CAP_REG */
1921da12ec4SLe Tan /* (offset >> 4) << 24 */
1931da12ec4SLe Tan #define VTD_CAP_FRO                 (DMAR_FRCD_REG_OFFSET << 20)
1941da12ec4SLe Tan #define VTD_CAP_NFR                 ((DMAR_FRCD_REG_NR - 1) << 40)
1951da12ec4SLe Tan #define VTD_DOMAIN_ID_SHIFT         16  /* 16-bit domain id for 64K domains */
196d92fa2dcSLe Tan #define VTD_DOMAIN_ID_MASK          ((1UL << VTD_DOMAIN_ID_SHIFT) - 1)
1971da12ec4SLe Tan #define VTD_CAP_ND                  (((VTD_DOMAIN_ID_SHIFT - 4) / 2) & 7ULL)
1981da12ec4SLe Tan #define VTD_MGAW                    39  /* Maximum Guest Address Width */
1991da12ec4SLe Tan #define VTD_CAP_MGAW                (((VTD_MGAW - 1) & 0x3fULL) << 16)
200d66b969bSJason Wang #define VTD_MAMV                    18ULL
201b5a280c0SLe Tan #define VTD_CAP_MAMV                (VTD_MAMV << 48)
202b5a280c0SLe Tan #define VTD_CAP_PSI                 (1ULL << 39)
203d66b969bSJason Wang #define VTD_CAP_SLLPS               ((1ULL << 34) | (1ULL << 35))
2041da12ec4SLe Tan 
2051da12ec4SLe Tan /* Supported Adjusted Guest Address Widths */
2061da12ec4SLe Tan #define VTD_CAP_SAGAW_SHIFT         8
2071da12ec4SLe Tan #define VTD_CAP_SAGAW_MASK          (0x1fULL << VTD_CAP_SAGAW_SHIFT)
2081da12ec4SLe Tan  /* 39-bit AGAW, 3-level page-table */
2091da12ec4SLe Tan #define VTD_CAP_SAGAW_39bit         (0x2ULL << VTD_CAP_SAGAW_SHIFT)
2101da12ec4SLe Tan  /* 48-bit AGAW, 4-level page-table */
2111da12ec4SLe Tan #define VTD_CAP_SAGAW_48bit         (0x4ULL << VTD_CAP_SAGAW_SHIFT)
2121da12ec4SLe Tan #define VTD_CAP_SAGAW               VTD_CAP_SAGAW_39bit
2131da12ec4SLe Tan 
2141da12ec4SLe Tan /* IQT_REG */
2151da12ec4SLe Tan #define VTD_IQT_QT(val)             (((val) >> 4) & 0x7fffULL)
2161da12ec4SLe Tan 
2171da12ec4SLe Tan /* IQA_REG */
2181da12ec4SLe Tan #define VTD_IQA_IQA_MASK            (VTD_HAW_MASK ^ 0xfffULL)
2191da12ec4SLe Tan #define VTD_IQA_QS                  0x7ULL
2201da12ec4SLe Tan 
2211da12ec4SLe Tan /* IQH_REG */
2221da12ec4SLe Tan #define VTD_IQH_QH_SHIFT            4
2231da12ec4SLe Tan #define VTD_IQH_QH_MASK             0x7fff0ULL
2241da12ec4SLe Tan 
2251da12ec4SLe Tan /* ICS_REG */
2261da12ec4SLe Tan #define VTD_ICS_IWC                 1UL
2271da12ec4SLe Tan 
2281da12ec4SLe Tan /* IECTL_REG */
2291da12ec4SLe Tan #define VTD_IECTL_IM                (1UL << 31)
2301da12ec4SLe Tan #define VTD_IECTL_IP                (1UL << 30)
2311da12ec4SLe Tan 
2321da12ec4SLe Tan /* FSTS_REG */
2331da12ec4SLe Tan #define VTD_FSTS_FRI_MASK       0xff00UL
2341da12ec4SLe Tan #define VTD_FSTS_FRI(val)       ((((uint32_t)(val)) << 8) & VTD_FSTS_FRI_MASK)
2351da12ec4SLe Tan #define VTD_FSTS_IQE            (1UL << 4)
2361da12ec4SLe Tan #define VTD_FSTS_PPF            (1UL << 1)
2371da12ec4SLe Tan #define VTD_FSTS_PFO            1UL
2381da12ec4SLe Tan 
2391da12ec4SLe Tan /* FECTL_REG */
2401da12ec4SLe Tan #define VTD_FECTL_IM            (1UL << 31)
2411da12ec4SLe Tan #define VTD_FECTL_IP            (1UL << 30)
2421da12ec4SLe Tan 
2431da12ec4SLe Tan /* Fault Recording Register */
2441da12ec4SLe Tan /* For the high 64-bit of 128-bit */
2451da12ec4SLe Tan #define VTD_FRCD_F              (1ULL << 63)
2461da12ec4SLe Tan #define VTD_FRCD_T              (1ULL << 62)
2471da12ec4SLe Tan #define VTD_FRCD_FR(val)        (((val) & 0xffULL) << 32)
2481da12ec4SLe Tan #define VTD_FRCD_SID_MASK       0xffffULL
2491da12ec4SLe Tan #define VTD_FRCD_SID(val)       ((val) & VTD_FRCD_SID_MASK)
2501da12ec4SLe Tan /* For the low 64-bit of 128-bit */
2511da12ec4SLe Tan #define VTD_FRCD_FI(val)        ((val) & (((1ULL << VTD_MGAW) - 1) ^ 0xfffULL))
2521da12ec4SLe Tan 
2531da12ec4SLe Tan /* DMA Remapping Fault Conditions */
2541da12ec4SLe Tan typedef enum VTDFaultReason {
2551da12ec4SLe Tan     VTD_FR_RESERVED = 0,        /* Reserved for Advanced Fault logging */
2561da12ec4SLe Tan     VTD_FR_ROOT_ENTRY_P = 1,    /* The Present(P) field of root-entry is 0 */
2571da12ec4SLe Tan     VTD_FR_CONTEXT_ENTRY_P,     /* The Present(P) field of context-entry is 0 */
2581da12ec4SLe Tan     VTD_FR_CONTEXT_ENTRY_INV,   /* Invalid programming of a context-entry */
2591da12ec4SLe Tan     VTD_FR_ADDR_BEYOND_MGAW,    /* Input-address above (2^x-1) */
2601da12ec4SLe Tan     VTD_FR_WRITE,               /* No write permission */
2611da12ec4SLe Tan     VTD_FR_READ,                /* No read permission */
2621da12ec4SLe Tan     /* Fail to access a second-level paging entry (not SL_PML4E) */
2631da12ec4SLe Tan     VTD_FR_PAGING_ENTRY_INV,
2641da12ec4SLe Tan     VTD_FR_ROOT_TABLE_INV,      /* Fail to access a root-entry */
2651da12ec4SLe Tan     VTD_FR_CONTEXT_TABLE_INV,   /* Fail to access a context-entry */
2661da12ec4SLe Tan     /* Non-zero reserved field in a present root-entry */
2671da12ec4SLe Tan     VTD_FR_ROOT_ENTRY_RSVD,
2681da12ec4SLe Tan     /* Non-zero reserved field in a present context-entry */
2691da12ec4SLe Tan     VTD_FR_CONTEXT_ENTRY_RSVD,
2701da12ec4SLe Tan     /* Non-zero reserved field in a second-level paging entry with at lease one
2711da12ec4SLe Tan      * Read(R) and Write(W) or Execute(E) field is Set.
2721da12ec4SLe Tan      */
2731da12ec4SLe Tan     VTD_FR_PAGING_ENTRY_RSVD,
2741da12ec4SLe Tan     /* Translation request or translated request explicitly blocked dut to the
2751da12ec4SLe Tan      * programming of the Translation Type (T) field in the present
2761da12ec4SLe Tan      * context-entry.
2771da12ec4SLe Tan      */
2781da12ec4SLe Tan     VTD_FR_CONTEXT_ENTRY_TT,
279a4ca297eSPeter Xu 
280a4ca297eSPeter Xu     /* Interrupt remapping transition faults */
281a4ca297eSPeter Xu     VTD_FR_IR_REQ_RSVD = 0x20, /* One or more IR request reserved
282a4ca297eSPeter Xu                                 * fields set */
283a4ca297eSPeter Xu     VTD_FR_IR_INDEX_OVER = 0x21, /* Index value greater than max */
284a4ca297eSPeter Xu     VTD_FR_IR_ENTRY_P = 0x22,    /* Present (P) not set in IRTE */
285a4ca297eSPeter Xu     VTD_FR_IR_ROOT_INVAL = 0x23, /* IR Root table invalid */
286a4ca297eSPeter Xu     VTD_FR_IR_IRTE_RSVD = 0x24,  /* IRTE Rsvd field non-zero with
287a4ca297eSPeter Xu                                   * Present flag set */
288a4ca297eSPeter Xu     VTD_FR_IR_REQ_COMPAT = 0x25, /* Encountered compatible IR
289a4ca297eSPeter Xu                                   * request while disabled */
290a4ca297eSPeter Xu     VTD_FR_IR_SID_ERR = 0x26,   /* Invalid Source-ID */
291a4ca297eSPeter Xu 
2921da12ec4SLe Tan     /* This is not a normal fault reason. We use this to indicate some faults
2931da12ec4SLe Tan      * that are not referenced by the VT-d specification.
2941da12ec4SLe Tan      * Fault event with such reason should not be recorded.
2951da12ec4SLe Tan      */
2961da12ec4SLe Tan     VTD_FR_RESERVED_ERR,
2971da12ec4SLe Tan     VTD_FR_MAX,                 /* Guard */
2981da12ec4SLe Tan } VTDFaultReason;
2991da12ec4SLe Tan 
300d92fa2dcSLe Tan #define VTD_CONTEXT_CACHE_GEN_MAX       0xffffffffUL
301d92fa2dcSLe Tan 
30202a2cbc8SPeter Xu /* Interrupt Entry Cache Invalidation Descriptor: VT-d 6.5.2.7. */
30302a2cbc8SPeter Xu struct VTDInvDescIEC {
30402a2cbc8SPeter Xu     uint32_t type:4;            /* Should always be 0x4 */
30502a2cbc8SPeter Xu     uint32_t granularity:1;     /* If set, it's global IR invalidation */
30602a2cbc8SPeter Xu     uint32_t resved_1:22;
30702a2cbc8SPeter Xu     uint32_t index_mask:5;      /* 2^N for continuous int invalidation */
30802a2cbc8SPeter Xu     uint32_t index:16;          /* Start index to invalidate */
30902a2cbc8SPeter Xu     uint32_t reserved_2:16;
31002a2cbc8SPeter Xu };
31102a2cbc8SPeter Xu typedef struct VTDInvDescIEC VTDInvDescIEC;
31202a2cbc8SPeter Xu 
313ed7b8fbcSLe Tan /* Queued Invalidation Descriptor */
31402a2cbc8SPeter Xu union VTDInvDesc {
31502a2cbc8SPeter Xu     struct {
316ed7b8fbcSLe Tan         uint64_t lo;
317ed7b8fbcSLe Tan         uint64_t hi;
318ed7b8fbcSLe Tan     };
31902a2cbc8SPeter Xu     union {
32002a2cbc8SPeter Xu         VTDInvDescIEC iec;
32102a2cbc8SPeter Xu     };
32202a2cbc8SPeter Xu };
32302a2cbc8SPeter Xu typedef union VTDInvDesc VTDInvDesc;
324ed7b8fbcSLe Tan 
325ed7b8fbcSLe Tan /* Masks for struct VTDInvDesc */
3261da12ec4SLe Tan #define VTD_INV_DESC_TYPE               0xf
3271da12ec4SLe Tan #define VTD_INV_DESC_CC                 0x1 /* Context-cache Invalidate Desc */
3281da12ec4SLe Tan #define VTD_INV_DESC_IOTLB              0x2
329b7910472SPeter Xu #define VTD_INV_DESC_IEC                0x4 /* Interrupt Entry Cache
330b7910472SPeter Xu                                                Invalidate Descriptor */
3311da12ec4SLe Tan #define VTD_INV_DESC_WAIT               0x5 /* Invalidation Wait Descriptor */
3321da12ec4SLe Tan #define VTD_INV_DESC_NONE               0   /* Not an Invalidate Descriptor */
3331da12ec4SLe Tan 
334ed7b8fbcSLe Tan /* Masks for Invalidation Wait Descriptor*/
335ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_SW            (1ULL << 5)
336ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_IF            (1ULL << 4)
337ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_FN            (1ULL << 6)
338ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_DATA_SHIFT    32
339ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_RSVD_LO       0Xffffff80ULL
340ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_RSVD_HI       3ULL
341ed7b8fbcSLe Tan 
342d92fa2dcSLe Tan /* Masks for Context-cache Invalidation Descriptor */
343d92fa2dcSLe Tan #define VTD_INV_DESC_CC_G               (3ULL << 4)
344d92fa2dcSLe Tan #define VTD_INV_DESC_CC_GLOBAL          (1ULL << 4)
345d92fa2dcSLe Tan #define VTD_INV_DESC_CC_DOMAIN          (2ULL << 4)
346d92fa2dcSLe Tan #define VTD_INV_DESC_CC_DEVICE          (3ULL << 4)
347d92fa2dcSLe Tan #define VTD_INV_DESC_CC_DID(val)        (((val) >> 16) & VTD_DOMAIN_ID_MASK)
348d92fa2dcSLe Tan #define VTD_INV_DESC_CC_SID(val)        (((val) >> 32) & 0xffffUL)
349d92fa2dcSLe Tan #define VTD_INV_DESC_CC_FM(val)         (((val) >> 48) & 3UL)
350d92fa2dcSLe Tan #define VTD_INV_DESC_CC_RSVD            0xfffc00000000ffc0ULL
351d92fa2dcSLe Tan 
352b5a280c0SLe Tan /* Masks for IOTLB Invalidate Descriptor */
353b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_G            (3ULL << 4)
354b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_GLOBAL       (1ULL << 4)
355b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_DOMAIN       (2ULL << 4)
356b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_PAGE         (3ULL << 4)
357b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_DID(val)     (((val) >> 16) & VTD_DOMAIN_ID_MASK)
358b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_ADDR(val)    ((val) & ~0xfffULL & \
359b5a280c0SLe Tan                                          ((1ULL << VTD_MGAW) - 1))
360b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_AM(val)      ((val) & 0x3fULL)
361b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_RSVD_LO      0xffffffff0000ff00ULL
362b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_RSVD_HI      0xf80ULL
363b5a280c0SLe Tan 
364b5a280c0SLe Tan /* Information about page-selective IOTLB invalidate */
365b5a280c0SLe Tan struct VTDIOTLBPageInvInfo {
366b5a280c0SLe Tan     uint16_t domain_id;
367d66b969bSJason Wang     uint64_t addr;
368b5a280c0SLe Tan     uint8_t mask;
369b5a280c0SLe Tan };
370b5a280c0SLe Tan typedef struct VTDIOTLBPageInvInfo VTDIOTLBPageInvInfo;
371b5a280c0SLe Tan 
3721da12ec4SLe Tan /* Pagesize of VTD paging structures, including root and context tables */
3731da12ec4SLe Tan #define VTD_PAGE_SHIFT              12
3741da12ec4SLe Tan #define VTD_PAGE_SIZE               (1ULL << VTD_PAGE_SHIFT)
3751da12ec4SLe Tan 
3761da12ec4SLe Tan #define VTD_PAGE_SHIFT_4K           12
3771da12ec4SLe Tan #define VTD_PAGE_MASK_4K            (~((1ULL << VTD_PAGE_SHIFT_4K) - 1))
3781da12ec4SLe Tan #define VTD_PAGE_SHIFT_2M           21
3791da12ec4SLe Tan #define VTD_PAGE_MASK_2M            (~((1ULL << VTD_PAGE_SHIFT_2M) - 1))
3801da12ec4SLe Tan #define VTD_PAGE_SHIFT_1G           30
3811da12ec4SLe Tan #define VTD_PAGE_MASK_1G            (~((1ULL << VTD_PAGE_SHIFT_1G) - 1))
3821da12ec4SLe Tan 
3831da12ec4SLe Tan struct VTDRootEntry {
3841da12ec4SLe Tan     uint64_t val;
3851da12ec4SLe Tan     uint64_t rsvd;
3861da12ec4SLe Tan };
3871da12ec4SLe Tan typedef struct VTDRootEntry VTDRootEntry;
3881da12ec4SLe Tan 
3891da12ec4SLe Tan /* Masks for struct VTDRootEntry */
3901da12ec4SLe Tan #define VTD_ROOT_ENTRY_P            1ULL
3911da12ec4SLe Tan #define VTD_ROOT_ENTRY_CTP          (~0xfffULL)
3921da12ec4SLe Tan 
3931da12ec4SLe Tan #define VTD_ROOT_ENTRY_NR           (VTD_PAGE_SIZE / sizeof(VTDRootEntry))
3941da12ec4SLe Tan #define VTD_ROOT_ENTRY_RSVD         (0xffeULL | ~VTD_HAW_MASK)
3951da12ec4SLe Tan 
3961da12ec4SLe Tan /* Masks for struct VTDContextEntry */
3971da12ec4SLe Tan /* lo */
3981da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_P         (1ULL << 0)
3991da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_FPD       (1ULL << 1) /* Fault Processing Disable */
4001da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_TT        (3ULL << 2) /* Translation Type */
4011da12ec4SLe Tan #define VTD_CONTEXT_TT_MULTI_LEVEL  0
4021da12ec4SLe Tan #define VTD_CONTEXT_TT_DEV_IOTLB    1
4031da12ec4SLe Tan #define VTD_CONTEXT_TT_PASS_THROUGH 2
4041da12ec4SLe Tan /* Second Level Page Translation Pointer*/
4051da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_SLPTPTR   (~0xfffULL)
4061da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_RSVD_LO   (0xff0ULL | ~VTD_HAW_MASK)
4071da12ec4SLe Tan /* hi */
4081da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_AW        7ULL /* Adjusted guest-address-width */
409b5a280c0SLe Tan #define VTD_CONTEXT_ENTRY_DID(val)  (((val) >> 8) & VTD_DOMAIN_ID_MASK)
4101da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_RSVD_HI   0xffffffffff000080ULL
4111da12ec4SLe Tan 
4121da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_NR        (VTD_PAGE_SIZE / sizeof(VTDContextEntry))
4131da12ec4SLe Tan 
4141da12ec4SLe Tan /* Paging Structure common */
4151da12ec4SLe Tan #define VTD_SL_PT_PAGE_SIZE_MASK    (1ULL << 7)
4161da12ec4SLe Tan /* Bits to decide the offset for each level */
4171da12ec4SLe Tan #define VTD_SL_LEVEL_BITS           9
4181da12ec4SLe Tan 
4191da12ec4SLe Tan /* Second Level Paging Structure */
4201da12ec4SLe Tan #define VTD_SL_PML4_LEVEL           4
4211da12ec4SLe Tan #define VTD_SL_PDP_LEVEL            3
4221da12ec4SLe Tan #define VTD_SL_PD_LEVEL             2
4231da12ec4SLe Tan #define VTD_SL_PT_LEVEL             1
4241da12ec4SLe Tan #define VTD_SL_PT_ENTRY_NR          512
4251da12ec4SLe Tan 
4261da12ec4SLe Tan /* Masks for Second Level Paging Entry */
4271da12ec4SLe Tan #define VTD_SL_RW_MASK              3ULL
4281da12ec4SLe Tan #define VTD_SL_R                    1ULL
4291da12ec4SLe Tan #define VTD_SL_W                    (1ULL << 1)
4301da12ec4SLe Tan #define VTD_SL_PT_BASE_ADDR_MASK    (~(VTD_PAGE_SIZE - 1) & VTD_HAW_MASK)
4311da12ec4SLe Tan #define VTD_SL_IGN_COM              0xbff0000000000000ULL
4321da12ec4SLe Tan 
4331da12ec4SLe Tan #endif
434