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 118bacabb0aSJason Wang #define VTD_IOTLB_LVL_SHIFT 52 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 */ 13437f51384SPrasad Singamsetty #define VTD_IVA_ADDR(val) ((val) & ~0xfffULL) 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) 175*fb43cf73SLiu, Yi L #define VTD_RTADDR_SMT (1ULL << 10) 17692e5d85eSPrasad Singamsetty #define VTD_RTADDR_ADDR_MASK(aw) (VTD_HAW_MASK(aw) ^ 0xfffULL) 1771da12ec4SLe Tan 178a5861439SPeter Xu /* IRTA_REG */ 17992e5d85eSPrasad Singamsetty #define VTD_IRTA_ADDR_MASK(aw) (VTD_HAW_MASK(aw) ^ 0xfffULL) 18028589311SJan Kiszka #define VTD_IRTA_EIME (1ULL << 11) 181a5861439SPeter Xu #define VTD_IRTA_SIZE_MASK (0xfULL) 182a5861439SPeter Xu 1831da12ec4SLe Tan /* ECAP_REG */ 1841da12ec4SLe Tan /* (offset >> 4) << 8 */ 1851da12ec4SLe Tan #define VTD_ECAP_IRO (DMAR_IOTLB_REG_OFFSET << 4) 1861da12ec4SLe Tan #define VTD_ECAP_QI (1ULL << 1) 187554f5e16SJason Wang #define VTD_ECAP_DT (1ULL << 2) 188d54bd7f8SPeter Xu /* Interrupt Remapping support */ 189d54bd7f8SPeter Xu #define VTD_ECAP_IR (1ULL << 3) 19028589311SJan Kiszka #define VTD_ECAP_EIM (1ULL << 4) 191dbaabb25SPeter Xu #define VTD_ECAP_PT (1ULL << 6) 192a3f409cbSRadim Krčmář #define VTD_ECAP_MHMV (15ULL << 20) 1931da12ec4SLe Tan 1941da12ec4SLe Tan /* CAP_REG */ 1951da12ec4SLe Tan /* (offset >> 4) << 24 */ 1961da12ec4SLe Tan #define VTD_CAP_FRO (DMAR_FRCD_REG_OFFSET << 20) 1971da12ec4SLe Tan #define VTD_CAP_NFR ((DMAR_FRCD_REG_NR - 1) << 40) 1981da12ec4SLe Tan #define VTD_DOMAIN_ID_SHIFT 16 /* 16-bit domain id for 64K domains */ 199d92fa2dcSLe Tan #define VTD_DOMAIN_ID_MASK ((1UL << VTD_DOMAIN_ID_SHIFT) - 1) 2001da12ec4SLe Tan #define VTD_CAP_ND (((VTD_DOMAIN_ID_SHIFT - 4) / 2) & 7ULL) 20192e5d85eSPrasad Singamsetty #define VTD_ADDRESS_SIZE(aw) (1ULL << (aw)) 20292e5d85eSPrasad Singamsetty #define VTD_CAP_MGAW(aw) ((((aw) - 1) & 0x3fULL) << 16) 203d66b969bSJason Wang #define VTD_MAMV 18ULL 204b5a280c0SLe Tan #define VTD_CAP_MAMV (VTD_MAMV << 48) 205b5a280c0SLe Tan #define VTD_CAP_PSI (1ULL << 39) 206d66b969bSJason Wang #define VTD_CAP_SLLPS ((1ULL << 34) | (1ULL << 35)) 207ccc23bb0SPeter Xu #define VTD_CAP_DRAIN_WRITE (1ULL << 54) 208ccc23bb0SPeter Xu #define VTD_CAP_DRAIN_READ (1ULL << 55) 209ccc23bb0SPeter Xu #define VTD_CAP_DRAIN (VTD_CAP_DRAIN_READ | VTD_CAP_DRAIN_WRITE) 2103b40f0e5SAviv Ben-David #define VTD_CAP_CM (1ULL << 7) 2111da12ec4SLe Tan 2121da12ec4SLe Tan /* Supported Adjusted Guest Address Widths */ 2131da12ec4SLe Tan #define VTD_CAP_SAGAW_SHIFT 8 2141da12ec4SLe Tan #define VTD_CAP_SAGAW_MASK (0x1fULL << VTD_CAP_SAGAW_SHIFT) 2151da12ec4SLe Tan /* 39-bit AGAW, 3-level page-table */ 2161da12ec4SLe Tan #define VTD_CAP_SAGAW_39bit (0x2ULL << VTD_CAP_SAGAW_SHIFT) 2171da12ec4SLe Tan /* 48-bit AGAW, 4-level page-table */ 2181da12ec4SLe Tan #define VTD_CAP_SAGAW_48bit (0x4ULL << VTD_CAP_SAGAW_SHIFT) 2191da12ec4SLe Tan 2201da12ec4SLe Tan /* IQT_REG */ 2211da12ec4SLe Tan #define VTD_IQT_QT(val) (((val) >> 4) & 0x7fffULL) 2221da12ec4SLe Tan 2231da12ec4SLe Tan /* IQA_REG */ 22492e5d85eSPrasad Singamsetty #define VTD_IQA_IQA_MASK(aw) (VTD_HAW_MASK(aw) ^ 0xfffULL) 2251da12ec4SLe Tan #define VTD_IQA_QS 0x7ULL 2261da12ec4SLe Tan 2271da12ec4SLe Tan /* IQH_REG */ 2281da12ec4SLe Tan #define VTD_IQH_QH_SHIFT 4 2291da12ec4SLe Tan #define VTD_IQH_QH_MASK 0x7fff0ULL 2301da12ec4SLe Tan 2311da12ec4SLe Tan /* ICS_REG */ 2321da12ec4SLe Tan #define VTD_ICS_IWC 1UL 2331da12ec4SLe Tan 2341da12ec4SLe Tan /* IECTL_REG */ 2351da12ec4SLe Tan #define VTD_IECTL_IM (1UL << 31) 2361da12ec4SLe Tan #define VTD_IECTL_IP (1UL << 30) 2371da12ec4SLe Tan 2381da12ec4SLe Tan /* FSTS_REG */ 2391da12ec4SLe Tan #define VTD_FSTS_FRI_MASK 0xff00UL 2401da12ec4SLe Tan #define VTD_FSTS_FRI(val) ((((uint32_t)(val)) << 8) & VTD_FSTS_FRI_MASK) 2411da12ec4SLe Tan #define VTD_FSTS_IQE (1UL << 4) 2421da12ec4SLe Tan #define VTD_FSTS_PPF (1UL << 1) 2431da12ec4SLe Tan #define VTD_FSTS_PFO 1UL 2441da12ec4SLe Tan 2451da12ec4SLe Tan /* FECTL_REG */ 2461da12ec4SLe Tan #define VTD_FECTL_IM (1UL << 31) 2471da12ec4SLe Tan #define VTD_FECTL_IP (1UL << 30) 2481da12ec4SLe Tan 2491da12ec4SLe Tan /* Fault Recording Register */ 2501da12ec4SLe Tan /* For the high 64-bit of 128-bit */ 2511da12ec4SLe Tan #define VTD_FRCD_F (1ULL << 63) 2521da12ec4SLe Tan #define VTD_FRCD_T (1ULL << 62) 2531da12ec4SLe Tan #define VTD_FRCD_FR(val) (((val) & 0xffULL) << 32) 2541da12ec4SLe Tan #define VTD_FRCD_SID_MASK 0xffffULL 2551da12ec4SLe Tan #define VTD_FRCD_SID(val) ((val) & VTD_FRCD_SID_MASK) 2561da12ec4SLe Tan /* For the low 64-bit of 128-bit */ 25737f51384SPrasad Singamsetty #define VTD_FRCD_FI(val) ((val) & ~0xfffULL) 2581da12ec4SLe Tan 2591da12ec4SLe Tan /* DMA Remapping Fault Conditions */ 2601da12ec4SLe Tan typedef enum VTDFaultReason { 2611da12ec4SLe Tan VTD_FR_RESERVED = 0, /* Reserved for Advanced Fault logging */ 2621da12ec4SLe Tan VTD_FR_ROOT_ENTRY_P = 1, /* The Present(P) field of root-entry is 0 */ 2631da12ec4SLe Tan VTD_FR_CONTEXT_ENTRY_P, /* The Present(P) field of context-entry is 0 */ 2641da12ec4SLe Tan VTD_FR_CONTEXT_ENTRY_INV, /* Invalid programming of a context-entry */ 2651da12ec4SLe Tan VTD_FR_ADDR_BEYOND_MGAW, /* Input-address above (2^x-1) */ 2661da12ec4SLe Tan VTD_FR_WRITE, /* No write permission */ 2671da12ec4SLe Tan VTD_FR_READ, /* No read permission */ 2681da12ec4SLe Tan /* Fail to access a second-level paging entry (not SL_PML4E) */ 2691da12ec4SLe Tan VTD_FR_PAGING_ENTRY_INV, 2701da12ec4SLe Tan VTD_FR_ROOT_TABLE_INV, /* Fail to access a root-entry */ 2711da12ec4SLe Tan VTD_FR_CONTEXT_TABLE_INV, /* Fail to access a context-entry */ 2721da12ec4SLe Tan /* Non-zero reserved field in a present root-entry */ 2731da12ec4SLe Tan VTD_FR_ROOT_ENTRY_RSVD, 2741da12ec4SLe Tan /* Non-zero reserved field in a present context-entry */ 2751da12ec4SLe Tan VTD_FR_CONTEXT_ENTRY_RSVD, 2761da12ec4SLe Tan /* Non-zero reserved field in a second-level paging entry with at lease one 2771da12ec4SLe Tan * Read(R) and Write(W) or Execute(E) field is Set. 2781da12ec4SLe Tan */ 2791da12ec4SLe Tan VTD_FR_PAGING_ENTRY_RSVD, 2801da12ec4SLe Tan /* Translation request or translated request explicitly blocked dut to the 2811da12ec4SLe Tan * programming of the Translation Type (T) field in the present 2821da12ec4SLe Tan * context-entry. 2831da12ec4SLe Tan */ 2841da12ec4SLe Tan VTD_FR_CONTEXT_ENTRY_TT, 285a4ca297eSPeter Xu 286a4ca297eSPeter Xu /* Interrupt remapping transition faults */ 287a4ca297eSPeter Xu VTD_FR_IR_REQ_RSVD = 0x20, /* One or more IR request reserved 288a4ca297eSPeter Xu * fields set */ 289a4ca297eSPeter Xu VTD_FR_IR_INDEX_OVER = 0x21, /* Index value greater than max */ 290a4ca297eSPeter Xu VTD_FR_IR_ENTRY_P = 0x22, /* Present (P) not set in IRTE */ 291a4ca297eSPeter Xu VTD_FR_IR_ROOT_INVAL = 0x23, /* IR Root table invalid */ 292a4ca297eSPeter Xu VTD_FR_IR_IRTE_RSVD = 0x24, /* IRTE Rsvd field non-zero with 293a4ca297eSPeter Xu * Present flag set */ 294a4ca297eSPeter Xu VTD_FR_IR_REQ_COMPAT = 0x25, /* Encountered compatible IR 295a4ca297eSPeter Xu * request while disabled */ 296a4ca297eSPeter Xu VTD_FR_IR_SID_ERR = 0x26, /* Invalid Source-ID */ 297a4ca297eSPeter Xu 298*fb43cf73SLiu, Yi L VTD_FR_PASID_TABLE_INV = 0x58, /*Invalid PASID table entry */ 299*fb43cf73SLiu, Yi L 3001da12ec4SLe Tan /* This is not a normal fault reason. We use this to indicate some faults 3011da12ec4SLe Tan * that are not referenced by the VT-d specification. 3021da12ec4SLe Tan * Fault event with such reason should not be recorded. 3031da12ec4SLe Tan */ 3041da12ec4SLe Tan VTD_FR_RESERVED_ERR, 3051da12ec4SLe Tan VTD_FR_MAX, /* Guard */ 3061da12ec4SLe Tan } VTDFaultReason; 3071da12ec4SLe Tan 308d92fa2dcSLe Tan #define VTD_CONTEXT_CACHE_GEN_MAX 0xffffffffUL 309d92fa2dcSLe Tan 31002a2cbc8SPeter Xu /* Interrupt Entry Cache Invalidation Descriptor: VT-d 6.5.2.7. */ 31102a2cbc8SPeter Xu struct VTDInvDescIEC { 31202a2cbc8SPeter Xu uint32_t type:4; /* Should always be 0x4 */ 31302a2cbc8SPeter Xu uint32_t granularity:1; /* If set, it's global IR invalidation */ 31402a2cbc8SPeter Xu uint32_t resved_1:22; 31502a2cbc8SPeter Xu uint32_t index_mask:5; /* 2^N for continuous int invalidation */ 31602a2cbc8SPeter Xu uint32_t index:16; /* Start index to invalidate */ 31702a2cbc8SPeter Xu uint32_t reserved_2:16; 31802a2cbc8SPeter Xu }; 31902a2cbc8SPeter Xu typedef struct VTDInvDescIEC VTDInvDescIEC; 32002a2cbc8SPeter Xu 321ed7b8fbcSLe Tan /* Queued Invalidation Descriptor */ 32202a2cbc8SPeter Xu union VTDInvDesc { 32302a2cbc8SPeter Xu struct { 324ed7b8fbcSLe Tan uint64_t lo; 325ed7b8fbcSLe Tan uint64_t hi; 326ed7b8fbcSLe Tan }; 32702a2cbc8SPeter Xu union { 32802a2cbc8SPeter Xu VTDInvDescIEC iec; 32902a2cbc8SPeter Xu }; 33002a2cbc8SPeter Xu }; 33102a2cbc8SPeter Xu typedef union VTDInvDesc VTDInvDesc; 332ed7b8fbcSLe Tan 333ed7b8fbcSLe Tan /* Masks for struct VTDInvDesc */ 3341da12ec4SLe Tan #define VTD_INV_DESC_TYPE 0xf 3351da12ec4SLe Tan #define VTD_INV_DESC_CC 0x1 /* Context-cache Invalidate Desc */ 3361da12ec4SLe Tan #define VTD_INV_DESC_IOTLB 0x2 337554f5e16SJason Wang #define VTD_INV_DESC_DEVICE 0x3 338b7910472SPeter Xu #define VTD_INV_DESC_IEC 0x4 /* Interrupt Entry Cache 339b7910472SPeter Xu Invalidate Descriptor */ 3401da12ec4SLe Tan #define VTD_INV_DESC_WAIT 0x5 /* Invalidation Wait Descriptor */ 3411da12ec4SLe Tan #define VTD_INV_DESC_NONE 0 /* Not an Invalidate Descriptor */ 3421da12ec4SLe Tan 343ed7b8fbcSLe Tan /* Masks for Invalidation Wait Descriptor*/ 344ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_SW (1ULL << 5) 345ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_IF (1ULL << 4) 346ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_FN (1ULL << 6) 347ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_DATA_SHIFT 32 348ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_RSVD_LO 0Xffffff80ULL 349ed7b8fbcSLe Tan #define VTD_INV_DESC_WAIT_RSVD_HI 3ULL 350ed7b8fbcSLe Tan 351d92fa2dcSLe Tan /* Masks for Context-cache Invalidation Descriptor */ 352d92fa2dcSLe Tan #define VTD_INV_DESC_CC_G (3ULL << 4) 353d92fa2dcSLe Tan #define VTD_INV_DESC_CC_GLOBAL (1ULL << 4) 354d92fa2dcSLe Tan #define VTD_INV_DESC_CC_DOMAIN (2ULL << 4) 355d92fa2dcSLe Tan #define VTD_INV_DESC_CC_DEVICE (3ULL << 4) 356d92fa2dcSLe Tan #define VTD_INV_DESC_CC_DID(val) (((val) >> 16) & VTD_DOMAIN_ID_MASK) 357d92fa2dcSLe Tan #define VTD_INV_DESC_CC_SID(val) (((val) >> 32) & 0xffffUL) 358d92fa2dcSLe Tan #define VTD_INV_DESC_CC_FM(val) (((val) >> 48) & 3UL) 359d92fa2dcSLe Tan #define VTD_INV_DESC_CC_RSVD 0xfffc00000000ffc0ULL 360d92fa2dcSLe Tan 361b5a280c0SLe Tan /* Masks for IOTLB Invalidate Descriptor */ 362b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_G (3ULL << 4) 363b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_GLOBAL (1ULL << 4) 364b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_DOMAIN (2ULL << 4) 365b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_PAGE (3ULL << 4) 366b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_DID(val) (((val) >> 16) & VTD_DOMAIN_ID_MASK) 36737f51384SPrasad Singamsetty #define VTD_INV_DESC_IOTLB_ADDR(val) ((val) & ~0xfffULL) 368b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_AM(val) ((val) & 0x3fULL) 369b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_RSVD_LO 0xffffffff0000ff00ULL 370b5a280c0SLe Tan #define VTD_INV_DESC_IOTLB_RSVD_HI 0xf80ULL 371b5a280c0SLe Tan 372554f5e16SJason Wang /* Mask for Device IOTLB Invalidate Descriptor */ 373554f5e16SJason Wang #define VTD_INV_DESC_DEVICE_IOTLB_ADDR(val) ((val) & 0xfffffffffffff000ULL) 374554f5e16SJason Wang #define VTD_INV_DESC_DEVICE_IOTLB_SIZE(val) ((val) & 0x1) 375554f5e16SJason Wang #define VTD_INV_DESC_DEVICE_IOTLB_SID(val) (((val) >> 32) & 0xFFFFULL) 376554f5e16SJason Wang #define VTD_INV_DESC_DEVICE_IOTLB_RSVD_HI 0xffeULL 377554f5e16SJason Wang #define VTD_INV_DESC_DEVICE_IOTLB_RSVD_LO 0xffff0000ffe0fff8 378554f5e16SJason Wang 37992e5d85eSPrasad Singamsetty /* Rsvd field masks for spte */ 38092e5d85eSPrasad Singamsetty #define VTD_SPTE_PAGE_L1_RSVD_MASK(aw) \ 38192e5d85eSPrasad Singamsetty (0x800ULL | ~(VTD_HAW_MASK(aw) | VTD_SL_IGN_COM)) 38292e5d85eSPrasad Singamsetty #define VTD_SPTE_PAGE_L2_RSVD_MASK(aw) \ 38392e5d85eSPrasad Singamsetty (0x800ULL | ~(VTD_HAW_MASK(aw) | VTD_SL_IGN_COM)) 38492e5d85eSPrasad Singamsetty #define VTD_SPTE_PAGE_L3_RSVD_MASK(aw) \ 38592e5d85eSPrasad Singamsetty (0x800ULL | ~(VTD_HAW_MASK(aw) | VTD_SL_IGN_COM)) 38692e5d85eSPrasad Singamsetty #define VTD_SPTE_PAGE_L4_RSVD_MASK(aw) \ 38792e5d85eSPrasad Singamsetty (0x880ULL | ~(VTD_HAW_MASK(aw) | VTD_SL_IGN_COM)) 38892e5d85eSPrasad Singamsetty #define VTD_SPTE_LPAGE_L1_RSVD_MASK(aw) \ 38992e5d85eSPrasad Singamsetty (0x800ULL | ~(VTD_HAW_MASK(aw) | VTD_SL_IGN_COM)) 39092e5d85eSPrasad Singamsetty #define VTD_SPTE_LPAGE_L2_RSVD_MASK(aw) \ 39192e5d85eSPrasad Singamsetty (0x1ff800ULL | ~(VTD_HAW_MASK(aw) | VTD_SL_IGN_COM)) 39292e5d85eSPrasad Singamsetty #define VTD_SPTE_LPAGE_L3_RSVD_MASK(aw) \ 39392e5d85eSPrasad Singamsetty (0x3ffff800ULL | ~(VTD_HAW_MASK(aw) | VTD_SL_IGN_COM)) 39492e5d85eSPrasad Singamsetty #define VTD_SPTE_LPAGE_L4_RSVD_MASK(aw) \ 39592e5d85eSPrasad Singamsetty (0x880ULL | ~(VTD_HAW_MASK(aw) | VTD_SL_IGN_COM)) 39692e5d85eSPrasad Singamsetty 397b5a280c0SLe Tan /* Information about page-selective IOTLB invalidate */ 398b5a280c0SLe Tan struct VTDIOTLBPageInvInfo { 399b5a280c0SLe Tan uint16_t domain_id; 400d66b969bSJason Wang uint64_t addr; 401b5a280c0SLe Tan uint8_t mask; 402b5a280c0SLe Tan }; 403b5a280c0SLe Tan typedef struct VTDIOTLBPageInvInfo VTDIOTLBPageInvInfo; 404b5a280c0SLe Tan 4051da12ec4SLe Tan /* Pagesize of VTD paging structures, including root and context tables */ 4061da12ec4SLe Tan #define VTD_PAGE_SHIFT 12 4071da12ec4SLe Tan #define VTD_PAGE_SIZE (1ULL << VTD_PAGE_SHIFT) 4081da12ec4SLe Tan 4091da12ec4SLe Tan #define VTD_PAGE_SHIFT_4K 12 4101da12ec4SLe Tan #define VTD_PAGE_MASK_4K (~((1ULL << VTD_PAGE_SHIFT_4K) - 1)) 4111da12ec4SLe Tan #define VTD_PAGE_SHIFT_2M 21 4121da12ec4SLe Tan #define VTD_PAGE_MASK_2M (~((1ULL << VTD_PAGE_SHIFT_2M) - 1)) 4131da12ec4SLe Tan #define VTD_PAGE_SHIFT_1G 30 4141da12ec4SLe Tan #define VTD_PAGE_MASK_1G (~((1ULL << VTD_PAGE_SHIFT_1G) - 1)) 4151da12ec4SLe Tan 4161da12ec4SLe Tan struct VTDRootEntry { 417*fb43cf73SLiu, Yi L uint64_t lo; 418*fb43cf73SLiu, Yi L uint64_t hi; 4191da12ec4SLe Tan }; 4201da12ec4SLe Tan typedef struct VTDRootEntry VTDRootEntry; 4211da12ec4SLe Tan 4221da12ec4SLe Tan /* Masks for struct VTDRootEntry */ 4231da12ec4SLe Tan #define VTD_ROOT_ENTRY_P 1ULL 4241da12ec4SLe Tan #define VTD_ROOT_ENTRY_CTP (~0xfffULL) 4251da12ec4SLe Tan 4261da12ec4SLe Tan #define VTD_ROOT_ENTRY_NR (VTD_PAGE_SIZE / sizeof(VTDRootEntry)) 42792e5d85eSPrasad Singamsetty #define VTD_ROOT_ENTRY_RSVD(aw) (0xffeULL | ~VTD_HAW_MASK(aw)) 4281da12ec4SLe Tan 429*fb43cf73SLiu, Yi L #define VTD_DEVFN_CHECK_MASK 0x80 430*fb43cf73SLiu, Yi L 4311da12ec4SLe Tan /* Masks for struct VTDContextEntry */ 4321da12ec4SLe Tan /* lo */ 4331da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_P (1ULL << 0) 4341da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_FPD (1ULL << 1) /* Fault Processing Disable */ 4351da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_TT (3ULL << 2) /* Translation Type */ 4361da12ec4SLe Tan #define VTD_CONTEXT_TT_MULTI_LEVEL 0 437554f5e16SJason Wang #define VTD_CONTEXT_TT_DEV_IOTLB (1ULL << 2) 438554f5e16SJason Wang #define VTD_CONTEXT_TT_PASS_THROUGH (2ULL << 2) 4391da12ec4SLe Tan /* Second Level Page Translation Pointer*/ 4401da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_SLPTPTR (~0xfffULL) 44192e5d85eSPrasad Singamsetty #define VTD_CONTEXT_ENTRY_RSVD_LO(aw) (0xff0ULL | ~VTD_HAW_MASK(aw)) 4421da12ec4SLe Tan /* hi */ 4431da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_AW 7ULL /* Adjusted guest-address-width */ 444b5a280c0SLe Tan #define VTD_CONTEXT_ENTRY_DID(val) (((val) >> 8) & VTD_DOMAIN_ID_MASK) 4451da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_RSVD_HI 0xffffffffff000080ULL 4461da12ec4SLe Tan 4471da12ec4SLe Tan #define VTD_CONTEXT_ENTRY_NR (VTD_PAGE_SIZE / sizeof(VTDContextEntry)) 4481da12ec4SLe Tan 449*fb43cf73SLiu, Yi L #define VTD_CTX_ENTRY_LEGACY_SIZE 16 450*fb43cf73SLiu, Yi L #define VTD_CTX_ENTRY_SCALABLE_SIZE 32 451*fb43cf73SLiu, Yi L 452*fb43cf73SLiu, Yi L #define VTD_SM_CONTEXT_ENTRY_RID2PASID_MASK 0xfffff 453*fb43cf73SLiu, Yi L #define VTD_SM_CONTEXT_ENTRY_RSVD_VAL0(aw) (0x1e0ULL | ~VTD_HAW_MASK(aw)) 454*fb43cf73SLiu, Yi L #define VTD_SM_CONTEXT_ENTRY_RSVD_VAL1 0xffffffffffe00000ULL 455*fb43cf73SLiu, Yi L 456*fb43cf73SLiu, Yi L /* PASID Table Related Definitions */ 457*fb43cf73SLiu, Yi L #define VTD_PASID_DIR_BASE_ADDR_MASK (~0xfffULL) 458*fb43cf73SLiu, Yi L #define VTD_PASID_TABLE_BASE_ADDR_MASK (~0xfffULL) 459*fb43cf73SLiu, Yi L #define VTD_PASID_DIR_ENTRY_SIZE 8 460*fb43cf73SLiu, Yi L #define VTD_PASID_ENTRY_SIZE 64 461*fb43cf73SLiu, Yi L #define VTD_PASID_DIR_BITS_MASK (0x3fffULL) 462*fb43cf73SLiu, Yi L #define VTD_PASID_DIR_INDEX(pasid) (((pasid) >> 6) & VTD_PASID_DIR_BITS_MASK) 463*fb43cf73SLiu, Yi L #define VTD_PASID_DIR_FPD (1ULL << 1) /* Fault Processing Disable */ 464*fb43cf73SLiu, Yi L #define VTD_PASID_TABLE_BITS_MASK (0x3fULL) 465*fb43cf73SLiu, Yi L #define VTD_PASID_TABLE_INDEX(pasid) ((pasid) & VTD_PASID_TABLE_BITS_MASK) 466*fb43cf73SLiu, Yi L #define VTD_PASID_ENTRY_FPD (1ULL << 1) /* Fault Processing Disable */ 467*fb43cf73SLiu, Yi L 468*fb43cf73SLiu, Yi L /* PASID Granular Translation Type Mask */ 469*fb43cf73SLiu, Yi L #define VTD_SM_PASID_ENTRY_PGTT (7ULL << 6) 470*fb43cf73SLiu, Yi L #define VTD_SM_PASID_ENTRY_FLT (1ULL << 6) 471*fb43cf73SLiu, Yi L #define VTD_SM_PASID_ENTRY_SLT (2ULL << 6) 472*fb43cf73SLiu, Yi L #define VTD_SM_PASID_ENTRY_NESTED (3ULL << 6) 473*fb43cf73SLiu, Yi L #define VTD_SM_PASID_ENTRY_PT (4ULL << 6) 474*fb43cf73SLiu, Yi L 475*fb43cf73SLiu, Yi L #define VTD_SM_PASID_ENTRY_AW 7ULL /* Adjusted guest-address-width */ 476*fb43cf73SLiu, Yi L #define VTD_SM_PASID_ENTRY_DID(val) ((val) & VTD_DOMAIN_ID_MASK) 477*fb43cf73SLiu, Yi L 478*fb43cf73SLiu, Yi L /* Second Level Page Translation Pointer*/ 479*fb43cf73SLiu, Yi L #define VTD_SM_PASID_ENTRY_SLPTPTR (~0xfffULL) 480*fb43cf73SLiu, Yi L 4811da12ec4SLe Tan /* Paging Structure common */ 4821da12ec4SLe Tan #define VTD_SL_PT_PAGE_SIZE_MASK (1ULL << 7) 4831da12ec4SLe Tan /* Bits to decide the offset for each level */ 4841da12ec4SLe Tan #define VTD_SL_LEVEL_BITS 9 4851da12ec4SLe Tan 4861da12ec4SLe Tan /* Second Level Paging Structure */ 4871da12ec4SLe Tan #define VTD_SL_PML4_LEVEL 4 4881da12ec4SLe Tan #define VTD_SL_PDP_LEVEL 3 4891da12ec4SLe Tan #define VTD_SL_PD_LEVEL 2 4901da12ec4SLe Tan #define VTD_SL_PT_LEVEL 1 4911da12ec4SLe Tan #define VTD_SL_PT_ENTRY_NR 512 4921da12ec4SLe Tan 4931da12ec4SLe Tan /* Masks for Second Level Paging Entry */ 4941da12ec4SLe Tan #define VTD_SL_RW_MASK 3ULL 4951da12ec4SLe Tan #define VTD_SL_R 1ULL 4961da12ec4SLe Tan #define VTD_SL_W (1ULL << 1) 49792e5d85eSPrasad Singamsetty #define VTD_SL_PT_BASE_ADDR_MASK(aw) (~(VTD_PAGE_SIZE - 1) & VTD_HAW_MASK(aw)) 4981da12ec4SLe Tan #define VTD_SL_IGN_COM 0xbff0000000000000ULL 4991da12ec4SLe Tan 5001da12ec4SLe Tan #endif 501