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 1131da12ec4SLe Tan 114b5a280c0SLe Tan /* The shift of source_id in the key of IOTLB hash table */ 115b5a280c0SLe Tan #define VTD_IOTLB_SID_SHIFT 36 116d66b969bSJason Wang #define VTD_IOTLB_LVL_SHIFT 44 117b5a280c0SLe Tan #define VTD_IOTLB_MAX_SIZE 1024 /* Max size of the hash table */ 118b5a280c0SLe Tan 1191da12ec4SLe Tan /* IOTLB_REG */ 1201da12ec4SLe Tan #define VTD_TLB_GLOBAL_FLUSH (1ULL << 60) /* Global invalidation */ 1211da12ec4SLe Tan #define VTD_TLB_DSI_FLUSH (2ULL << 60) /* Domain-selective */ 1221da12ec4SLe Tan #define VTD_TLB_PSI_FLUSH (3ULL << 60) /* Page-selective */ 1231da12ec4SLe Tan #define VTD_TLB_FLUSH_GRANU_MASK (3ULL << 60) 1241da12ec4SLe Tan #define VTD_TLB_GLOBAL_FLUSH_A (1ULL << 57) 1251da12ec4SLe Tan #define VTD_TLB_DSI_FLUSH_A (2ULL << 57) 1261da12ec4SLe Tan #define VTD_TLB_PSI_FLUSH_A (3ULL << 57) 1271da12ec4SLe Tan #define VTD_TLB_FLUSH_GRANU_MASK_A (3ULL << 57) 1281da12ec4SLe Tan #define VTD_TLB_IVT (1ULL << 63) 129b5a280c0SLe Tan #define VTD_TLB_DID(val) (((val) >> 32) & VTD_DOMAIN_ID_MASK) 130b5a280c0SLe Tan 131b5a280c0SLe Tan /* IVA_REG */ 132b5a280c0SLe Tan #define VTD_IVA_ADDR(val) ((val) & ~0xfffULL & ((1ULL << VTD_MGAW) - 1)) 133b5a280c0SLe Tan #define VTD_IVA_AM(val) ((val) & 0x3fULL) 1341da12ec4SLe Tan 1351da12ec4SLe Tan /* GCMD_REG */ 1361da12ec4SLe Tan #define VTD_GCMD_TE (1UL << 31) 1371da12ec4SLe Tan #define VTD_GCMD_SRTP (1UL << 30) 1381da12ec4SLe Tan #define VTD_GCMD_SFL (1UL << 29) 1391da12ec4SLe Tan #define VTD_GCMD_EAFL (1UL << 28) 1401da12ec4SLe Tan #define VTD_GCMD_WBF (1UL << 27) 1411da12ec4SLe Tan #define VTD_GCMD_QIE (1UL << 26) 1421da12ec4SLe Tan #define VTD_GCMD_IRE (1UL << 25) 1431da12ec4SLe Tan #define VTD_GCMD_SIRTP (1UL << 24) 1441da12ec4SLe Tan #define VTD_GCMD_CFI (1UL << 23) 1451da12ec4SLe Tan 1461da12ec4SLe Tan /* GSTS_REG */ 1471da12ec4SLe Tan #define VTD_GSTS_TES (1UL << 31) 1481da12ec4SLe Tan #define VTD_GSTS_RTPS (1UL << 30) 1491da12ec4SLe Tan #define VTD_GSTS_FLS (1UL << 29) 1501da12ec4SLe Tan #define VTD_GSTS_AFLS (1UL << 28) 1511da12ec4SLe Tan #define VTD_GSTS_WBFS (1UL << 27) 1521da12ec4SLe Tan #define VTD_GSTS_QIES (1UL << 26) 1531da12ec4SLe Tan #define VTD_GSTS_IRES (1UL << 25) 1541da12ec4SLe Tan #define VTD_GSTS_IRTPS (1UL << 24) 1551da12ec4SLe Tan #define VTD_GSTS_CFIS (1UL << 23) 1561da12ec4SLe Tan 1571da12ec4SLe Tan /* CCMD_REG */ 1581da12ec4SLe Tan #define VTD_CCMD_ICC (1ULL << 63) 1591da12ec4SLe Tan #define VTD_CCMD_GLOBAL_INVL (1ULL << 61) 1601da12ec4SLe Tan #define VTD_CCMD_DOMAIN_INVL (2ULL << 61) 1611da12ec4SLe Tan #define VTD_CCMD_DEVICE_INVL (3ULL << 61) 1621da12ec4SLe Tan #define VTD_CCMD_CIRG_MASK (3ULL << 61) 1631da12ec4SLe Tan #define VTD_CCMD_GLOBAL_INVL_A (1ULL << 59) 1641da12ec4SLe Tan #define VTD_CCMD_DOMAIN_INVL_A (2ULL << 59) 1651da12ec4SLe Tan #define VTD_CCMD_DEVICE_INVL_A (3ULL << 59) 1661da12ec4SLe Tan #define VTD_CCMD_CAIG_MASK (3ULL << 59) 167d92fa2dcSLe Tan #define VTD_CCMD_DID(val) ((val) & VTD_DOMAIN_ID_MASK) 168d92fa2dcSLe Tan #define VTD_CCMD_SID(val) (((val) >> 16) & 0xffffULL) 169d92fa2dcSLe Tan #define VTD_CCMD_FM(val) (((val) >> 32) & 3ULL) 1701da12ec4SLe Tan 1711da12ec4SLe Tan /* RTADDR_REG */ 1721da12ec4SLe Tan #define VTD_RTADDR_RTT (1ULL << 11) 1731da12ec4SLe Tan #define VTD_RTADDR_ADDR_MASK (VTD_HAW_MASK ^ 0xfffULL) 1741da12ec4SLe Tan 1751da12ec4SLe Tan /* ECAP_REG */ 1761da12ec4SLe Tan /* (offset >> 4) << 8 */ 1771da12ec4SLe Tan #define VTD_ECAP_IRO (DMAR_IOTLB_REG_OFFSET << 4) 1781da12ec4SLe Tan #define VTD_ECAP_QI (1ULL << 1) 1791da12ec4SLe Tan 1801da12ec4SLe Tan /* CAP_REG */ 1811da12ec4SLe Tan /* (offset >> 4) << 24 */ 1821da12ec4SLe Tan #define VTD_CAP_FRO (DMAR_FRCD_REG_OFFSET << 20) 1831da12ec4SLe Tan #define VTD_CAP_NFR ((DMAR_FRCD_REG_NR - 1) << 40) 1841da12ec4SLe Tan #define VTD_DOMAIN_ID_SHIFT 16 /* 16-bit domain id for 64K domains */ 185d92fa2dcSLe Tan #define VTD_DOMAIN_ID_MASK ((1UL << VTD_DOMAIN_ID_SHIFT) - 1) 1861da12ec4SLe Tan #define VTD_CAP_ND (((VTD_DOMAIN_ID_SHIFT - 4) / 2) & 7ULL) 1871da12ec4SLe Tan #define VTD_MGAW 39 /* Maximum Guest Address Width */ 1881da12ec4SLe Tan #define VTD_CAP_MGAW (((VTD_MGAW - 1) & 0x3fULL) << 16) 189d66b969bSJason Wang #define VTD_MAMV 18ULL 190b5a280c0SLe Tan #define VTD_CAP_MAMV (VTD_MAMV << 48) 191b5a280c0SLe Tan #define VTD_CAP_PSI (1ULL << 39) 192d66b969bSJason Wang #define VTD_CAP_SLLPS ((1ULL << 34) | (1ULL << 35)) 1931da12ec4SLe Tan 1941da12ec4SLe Tan /* Supported Adjusted Guest Address Widths */ 1951da12ec4SLe Tan #define VTD_CAP_SAGAW_SHIFT 8 1961da12ec4SLe Tan #define VTD_CAP_SAGAW_MASK (0x1fULL << VTD_CAP_SAGAW_SHIFT) 1971da12ec4SLe Tan /* 39-bit AGAW, 3-level page-table */ 1981da12ec4SLe Tan #define VTD_CAP_SAGAW_39bit (0x2ULL << VTD_CAP_SAGAW_SHIFT) 1991da12ec4SLe Tan /* 48-bit AGAW, 4-level page-table */ 2001da12ec4SLe Tan #define VTD_CAP_SAGAW_48bit (0x4ULL << VTD_CAP_SAGAW_SHIFT) 2011da12ec4SLe Tan #define VTD_CAP_SAGAW VTD_CAP_SAGAW_39bit 2021da12ec4SLe Tan 2031da12ec4SLe Tan /* IQT_REG */ 2041da12ec4SLe Tan #define VTD_IQT_QT(val) (((val) >> 4) & 0x7fffULL) 2051da12ec4SLe Tan 2061da12ec4SLe Tan /* IQA_REG */ 2071da12ec4SLe Tan #define VTD_IQA_IQA_MASK (VTD_HAW_MASK ^ 0xfffULL) 2081da12ec4SLe Tan #define VTD_IQA_QS 0x7ULL 2091da12ec4SLe Tan 2101da12ec4SLe Tan /* IQH_REG */ 2111da12ec4SLe Tan #define VTD_IQH_QH_SHIFT 4 2121da12ec4SLe Tan #define VTD_IQH_QH_MASK 0x7fff0ULL 2131da12ec4SLe Tan 2141da12ec4SLe Tan /* ICS_REG */ 2151da12ec4SLe Tan #define VTD_ICS_IWC 1UL 2161da12ec4SLe Tan 2171da12ec4SLe Tan /* IECTL_REG */ 2181da12ec4SLe Tan #define VTD_IECTL_IM (1UL << 31) 2191da12ec4SLe Tan #define VTD_IECTL_IP (1UL << 30) 2201da12ec4SLe Tan 2211da12ec4SLe Tan /* FSTS_REG */ 2221da12ec4SLe Tan #define VTD_FSTS_FRI_MASK 0xff00UL 2231da12ec4SLe Tan #define VTD_FSTS_FRI(val) ((((uint32_t)(val)) << 8) & VTD_FSTS_FRI_MASK) 2241da12ec4SLe Tan #define VTD_FSTS_IQE (1UL << 4) 2251da12ec4SLe Tan #define VTD_FSTS_PPF (1UL << 1) 2261da12ec4SLe Tan #define VTD_FSTS_PFO 1UL 2271da12ec4SLe Tan 2281da12ec4SLe Tan /* FECTL_REG */ 2291da12ec4SLe Tan #define VTD_FECTL_IM (1UL << 31) 2301da12ec4SLe Tan #define VTD_FECTL_IP (1UL << 30) 2311da12ec4SLe Tan 2321da12ec4SLe Tan /* Fault Recording Register */ 2331da12ec4SLe Tan /* For the high 64-bit of 128-bit */ 2341da12ec4SLe Tan #define VTD_FRCD_F (1ULL << 63) 2351da12ec4SLe Tan #define VTD_FRCD_T (1ULL << 62) 2361da12ec4SLe Tan #define VTD_FRCD_FR(val) (((val) & 0xffULL) << 32) 2371da12ec4SLe Tan #define VTD_FRCD_SID_MASK 0xffffULL 2381da12ec4SLe Tan #define VTD_FRCD_SID(val) ((val) & VTD_FRCD_SID_MASK) 2391da12ec4SLe Tan /* For the low 64-bit of 128-bit */ 2401da12ec4SLe Tan #define VTD_FRCD_FI(val) ((val) & (((1ULL << VTD_MGAW) - 1) ^ 0xfffULL)) 2411da12ec4SLe Tan 2421da12ec4SLe Tan /* DMA Remapping Fault Conditions */ 2431da12ec4SLe Tan typedef enum VTDFaultReason { 2441da12ec4SLe Tan VTD_FR_RESERVED = 0, /* Reserved for Advanced Fault logging */ 2451da12ec4SLe Tan VTD_FR_ROOT_ENTRY_P = 1, /* The Present(P) field of root-entry is 0 */ 2461da12ec4SLe Tan VTD_FR_CONTEXT_ENTRY_P, /* The Present(P) field of context-entry is 0 */ 2471da12ec4SLe Tan VTD_FR_CONTEXT_ENTRY_INV, /* Invalid programming of a context-entry */ 2481da12ec4SLe Tan VTD_FR_ADDR_BEYOND_MGAW, /* Input-address above (2^x-1) */ 2491da12ec4SLe Tan VTD_FR_WRITE, /* No write permission */ 2501da12ec4SLe Tan VTD_FR_READ, /* No read permission */ 2511da12ec4SLe Tan /* Fail to access a second-level paging entry (not SL_PML4E) */ 2521da12ec4SLe Tan VTD_FR_PAGING_ENTRY_INV, 2531da12ec4SLe Tan VTD_FR_ROOT_TABLE_INV, /* Fail to access a root-entry */ 2541da12ec4SLe Tan VTD_FR_CONTEXT_TABLE_INV, /* Fail to access a context-entry */ 2551da12ec4SLe Tan /* Non-zero reserved field in a present root-entry */ 2561da12ec4SLe Tan VTD_FR_ROOT_ENTRY_RSVD, 2571da12ec4SLe Tan /* Non-zero reserved field in a present context-entry */ 2581da12ec4SLe Tan VTD_FR_CONTEXT_ENTRY_RSVD, 2591da12ec4SLe Tan /* Non-zero reserved field in a second-level paging entry with at lease one 2601da12ec4SLe Tan * Read(R) and Write(W) or Execute(E) field is Set. 2611da12ec4SLe Tan */ 2621da12ec4SLe Tan VTD_FR_PAGING_ENTRY_RSVD, 2631da12ec4SLe Tan /* Translation request or translated request explicitly blocked dut to the 2641da12ec4SLe Tan * programming of the Translation Type (T) field in the present 2651da12ec4SLe Tan * context-entry. 2661da12ec4SLe Tan */ 2671da12ec4SLe Tan VTD_FR_CONTEXT_ENTRY_TT, 2681da12ec4SLe Tan /* This is not a normal fault reason. We use this to indicate some faults 2691da12ec4SLe Tan * that are not referenced by the VT-d specification. 2701da12ec4SLe Tan * Fault event with such reason should not be recorded. 2711da12ec4SLe Tan */ 2721da12ec4SLe Tan VTD_FR_RESERVED_ERR, 2731da12ec4SLe Tan VTD_FR_MAX, /* Guard */ 2741da12ec4SLe Tan } VTDFaultReason; 2751da12ec4SLe Tan 276d92fa2dcSLe Tan #define VTD_CONTEXT_CACHE_GEN_MAX 0xffffffffUL 277d92fa2dcSLe Tan 278ed7b8fbcSLe Tan /* Queued Invalidation Descriptor */ 279ed7b8fbcSLe Tan struct VTDInvDesc { 280ed7b8fbcSLe Tan uint64_t lo; 281ed7b8fbcSLe Tan uint64_t hi; 282ed7b8fbcSLe Tan }; 283ed7b8fbcSLe Tan typedef struct VTDInvDesc VTDInvDesc; 284ed7b8fbcSLe Tan 285ed7b8fbcSLe Tan /* Masks for struct VTDInvDesc */ 2861da12ec4SLe Tan #define VTD_INV_DESC_TYPE 0xf 2871da12ec4SLe Tan #define VTD_INV_DESC_CC 0x1 /* Context-cache Invalidate Desc */ 2881da12ec4SLe Tan #define VTD_INV_DESC_IOTLB 0x2 289*b7910472SPeter Xu #define VTD_INV_DESC_IEC 0x4 /* Interrupt Entry Cache 290*b7910472SPeter Xu Invalidate Descriptor */ 2911da12ec4SLe Tan #define VTD_INV_DESC_WAIT 0x5 /* Invalidation Wait Descriptor */ 2921da12ec4SLe Tan #define VTD_INV_DESC_NONE 0 /* Not an Invalidate Descriptor */ 2931da12ec4SLe Tan 294ed7b8fbcSLe Tan /* Masks for Invalidation Wait Descriptor*/ 295ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_SW (1ULL << 5) 296ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_IF (1ULL << 4) 297ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_FN (1ULL << 6) 298ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_DATA_SHIFT 32 299ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_RSVD_LO 0Xffffff80ULL 300ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_RSVD_HI 3ULL 301ed7b8fbcSLe Tan 302d92fa2dcSLe Tan /* Masks for Context-cache Invalidation Descriptor */ 303d92fa2dcSLe Tan #define VTD_INV_DESC_CC_G (3ULL << 4) 304d92fa2dcSLe Tan #define VTD_INV_DESC_CC_GLOBAL (1ULL << 4) 305d92fa2dcSLe Tan #define VTD_INV_DESC_CC_DOMAIN (2ULL << 4) 306d92fa2dcSLe Tan #define VTD_INV_DESC_CC_DEVICE (3ULL << 4) 307d92fa2dcSLe Tan #define VTD_INV_DESC_CC_DID(val) (((val) >> 16) & VTD_DOMAIN_ID_MASK) 308d92fa2dcSLe Tan #define VTD_INV_DESC_CC_SID(val) (((val) >> 32) & 0xffffUL) 309d92fa2dcSLe Tan #define VTD_INV_DESC_CC_FM(val) (((val) >> 48) & 3UL) 310d92fa2dcSLe Tan #define VTD_INV_DESC_CC_RSVD 0xfffc00000000ffc0ULL 311d92fa2dcSLe Tan 312b5a280c0SLe Tan /* Masks for IOTLB Invalidate Descriptor */ 313b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_G (3ULL << 4) 314b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_GLOBAL (1ULL << 4) 315b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_DOMAIN (2ULL << 4) 316b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_PAGE (3ULL << 4) 317b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_DID(val) (((val) >> 16) & VTD_DOMAIN_ID_MASK) 318b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_ADDR(val) ((val) & ~0xfffULL & \ 319b5a280c0SLe Tan ((1ULL << VTD_MGAW) - 1)) 320b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_AM(val) ((val) & 0x3fULL) 321b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_RSVD_LO 0xffffffff0000ff00ULL 322b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_RSVD_HI 0xf80ULL 323b5a280c0SLe Tan 324b5a280c0SLe Tan /* Information about page-selective IOTLB invalidate */ 325b5a280c0SLe Tan struct VTDIOTLBPageInvInfo { 326b5a280c0SLe Tan uint16_t domain_id; 327d66b969bSJason Wang uint64_t addr; 328b5a280c0SLe Tan uint8_t mask; 329b5a280c0SLe Tan }; 330b5a280c0SLe Tan typedef struct VTDIOTLBPageInvInfo VTDIOTLBPageInvInfo; 331b5a280c0SLe Tan 3321da12ec4SLe Tan /* Pagesize of VTD paging structures, including root and context tables */ 3331da12ec4SLe Tan #define VTD_PAGE_SHIFT 12 3341da12ec4SLe Tan #define VTD_PAGE_SIZE (1ULL << VTD_PAGE_SHIFT) 3351da12ec4SLe Tan 3361da12ec4SLe Tan #define VTD_PAGE_SHIFT_4K 12 3371da12ec4SLe Tan #define VTD_PAGE_MASK_4K (~((1ULL << VTD_PAGE_SHIFT_4K) - 1)) 3381da12ec4SLe Tan #define VTD_PAGE_SHIFT_2M 21 3391da12ec4SLe Tan #define VTD_PAGE_MASK_2M (~((1ULL << VTD_PAGE_SHIFT_2M) - 1)) 3401da12ec4SLe Tan #define VTD_PAGE_SHIFT_1G 30 3411da12ec4SLe Tan #define VTD_PAGE_MASK_1G (~((1ULL << VTD_PAGE_SHIFT_1G) - 1)) 3421da12ec4SLe Tan 3431da12ec4SLe Tan struct VTDRootEntry { 3441da12ec4SLe Tan uint64_t val; 3451da12ec4SLe Tan uint64_t rsvd; 3461da12ec4SLe Tan }; 3471da12ec4SLe Tan typedef struct VTDRootEntry VTDRootEntry; 3481da12ec4SLe Tan 3491da12ec4SLe Tan /* Masks for struct VTDRootEntry */ 3501da12ec4SLe Tan #define VTD_ROOT_ENTRY_P 1ULL 3511da12ec4SLe Tan #define VTD_ROOT_ENTRY_CTP (~0xfffULL) 3521da12ec4SLe Tan 3531da12ec4SLe Tan #define VTD_ROOT_ENTRY_NR (VTD_PAGE_SIZE / sizeof(VTDRootEntry)) 3541da12ec4SLe Tan #define VTD_ROOT_ENTRY_RSVD (0xffeULL | ~VTD_HAW_MASK) 3551da12ec4SLe Tan 3561da12ec4SLe Tan /* Masks for struct VTDContextEntry */ 3571da12ec4SLe Tan /* lo */ 3581da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_P (1ULL << 0) 3591da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_FPD (1ULL << 1) /* Fault Processing Disable */ 3601da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_TT (3ULL << 2) /* Translation Type */ 3611da12ec4SLe Tan #define VTD_CONTEXT_TT_MULTI_LEVEL 0 3621da12ec4SLe Tan #define VTD_CONTEXT_TT_DEV_IOTLB 1 3631da12ec4SLe Tan #define VTD_CONTEXT_TT_PASS_THROUGH 2 3641da12ec4SLe Tan /* Second Level Page Translation Pointer*/ 3651da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_SLPTPTR (~0xfffULL) 3661da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_RSVD_LO (0xff0ULL | ~VTD_HAW_MASK) 3671da12ec4SLe Tan /* hi */ 3681da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_AW 7ULL /* Adjusted guest-address-width */ 369b5a280c0SLe Tan #define VTD_CONTEXT_ENTRY_DID(val) (((val) >> 8) & VTD_DOMAIN_ID_MASK) 3701da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_RSVD_HI 0xffffffffff000080ULL 3711da12ec4SLe Tan 3721da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_NR (VTD_PAGE_SIZE / sizeof(VTDContextEntry)) 3731da12ec4SLe Tan 3741da12ec4SLe Tan /* Paging Structure common */ 3751da12ec4SLe Tan #define VTD_SL_PT_PAGE_SIZE_MASK (1ULL << 7) 3761da12ec4SLe Tan /* Bits to decide the offset for each level */ 3771da12ec4SLe Tan #define VTD_SL_LEVEL_BITS 9 3781da12ec4SLe Tan 3791da12ec4SLe Tan /* Second Level Paging Structure */ 3801da12ec4SLe Tan #define VTD_SL_PML4_LEVEL 4 3811da12ec4SLe Tan #define VTD_SL_PDP_LEVEL 3 3821da12ec4SLe Tan #define VTD_SL_PD_LEVEL 2 3831da12ec4SLe Tan #define VTD_SL_PT_LEVEL 1 3841da12ec4SLe Tan #define VTD_SL_PT_ENTRY_NR 512 3851da12ec4SLe Tan 3861da12ec4SLe Tan /* Masks for Second Level Paging Entry */ 3871da12ec4SLe Tan #define VTD_SL_RW_MASK 3ULL 3881da12ec4SLe Tan #define VTD_SL_R 1ULL 3891da12ec4SLe Tan #define VTD_SL_W (1ULL << 1) 3901da12ec4SLe Tan #define VTD_SL_PT_BASE_ADDR_MASK (~(VTD_PAGE_SIZE - 1) & VTD_HAW_MASK) 3911da12ec4SLe Tan #define VTD_SL_IGN_COM 0xbff0000000000000ULL 3921da12ec4SLe Tan 3931da12ec4SLe Tan #endif 394