€•W›Œsphinx.addnodes”Œdocument”“”)�”}”(Œ rawsource”Œ”Œchildren”]”(Œ translations”Œ LanguagesNode”“”)�”}”(hhh]”(hŒ pending_xref”“”)�”}”(hhh]”Œdocutils.nodes”ŒText”“”ŒChinese (Simplified)”…”�”}”Œparent”hsbaŒ attributes”}”(Œids”]”Œclasses”]”Œnames”]”Œdupnames”]”Œbackrefs”]”Œ refdomain”Œstd”Œreftype”Œdoc”Œ reftarget”Œ2/translations/zh_CN/arch/x86/amd-memory-encryption”Œmodname”NŒ classname”NŒ refexplicit”ˆuŒtagname”hhh ubh)�”}”(hhh]”hŒChinese (Traditional)”…”�”}”hh2sbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ2/translations/zh_TW/arch/x86/amd-memory-encryption”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)�”}”(hhh]”hŒItalian”…”�”}”hhFsbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ2/translations/it_IT/arch/x86/amd-memory-encryption”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)�”}”(hhh]”hŒJapanese”…”�”}”hhZsbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ2/translations/ja_JP/arch/x86/amd-memory-encryption”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)�”}”(hhh]”hŒKorean”…”�”}”hhnsbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ2/translations/ko_KR/arch/x86/amd-memory-encryption”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)�”}”(hhh]”hŒPortuguese (Brazilian)”…”�”}”hh‚sbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ2/translations/pt_BR/arch/x86/amd-memory-encryption”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubh)�”}”(hhh]”hŒSpanish”…”�”}”hh–sbah}”(h]”h ]”h"]”h$]”h&]”Œ refdomain”h)Œreftype”h+Œ reftarget”Œ2/translations/sp_SP/arch/x86/amd-memory-encryption”Œmodname”NŒ classname”NŒ refexplicit”ˆuh1hhh ubeh}”(h]”h ]”h"]”h$]”h&]”Œcurrent_language”ŒEnglish”uh1h hhŒ _document”hŒsource”NŒline”NubhŒcomment”“”)�”}”(hŒ SPDX-License-Identifier: GPL-2.0”h]”hŒ SPDX-License-Identifier: GPL-2.0”…”�”}”hh·sbah}”(h]”h ]”h"]”h$]”h&]”Œ xml:space”Œpreserve”uh1hµhhh²hh³ŒL/var/lib/git/docbuild/linux/Documentation/arch/x86/amd-memory-encryption.rst”h´KubhŒsection”“”)�”}”(hhh]”(hŒtitle”“”)�”}”(hŒAMD Memory Encryption”h]”hŒAMD Memory Encryption”…”�”}”(hhÏh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhhÊh²hh³hÇh´KubhŒ paragraph”“”)�”}”(hŒnSecure Memory Encryption (SME) and Secure Encrypted Virtualization (SEV) are features found on AMD processors.”h]”hŒnSecure Memory Encryption (SME) and Secure Encrypted Virtualization (SEV) are features found on AMD processors.”…”�”}”(hhßh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KhhÊh²hubhÞ)�”}”(hXESME provides the ability to mark individual pages of memory as encrypted using the standard x86 page tables. A page that is marked encrypted will be automatically decrypted when read from DRAM and encrypted when written to DRAM. SME can therefore be used to protect the contents of DRAM from physical attacks on the system.”h]”hXESME provides the ability to mark individual pages of memory as encrypted using the standard x86 page tables. A page that is marked encrypted will be automatically decrypted when read from DRAM and encrypted when written to DRAM. SME can therefore be used to protect the contents of DRAM from physical attacks on the system.”…”�”}”(hhíh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K hhÊh²hubhÞ)�”}”(hX­SEV enables running encrypted virtual machines (VMs) in which the code and data of the guest VM are secured so that a decrypted version is available only within the VM itself. SEV guest VMs have the concept of private and shared memory. Private memory is encrypted with the guest-specific key, while shared memory may be encrypted with hypervisor key. When SME is enabled, the hypervisor key is the same key which is used in SME.”h]”hX­SEV enables running encrypted virtual machines (VMs) in which the code and data of the guest VM are secured so that a decrypted version is available only within the VM itself. SEV guest VMs have the concept of private and shared memory. Private memory is encrypted with the guest-specific key, while shared memory may be encrypted with hypervisor key. When SME is enabled, the hypervisor key is the same key which is used in SME.”…”�”}”(hhûh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KhhÊh²hubhÞ)�”}”(hXVA page is encrypted when a page table entry has the encryption bit set (see below on how to determine its position). The encryption bit can also be specified in the cr3 register, allowing the PGD table to be encrypted. Each successive level of page tables can also be encrypted by setting the encryption bit in the page table entry that points to the next table. This allows the full page table hierarchy to be encrypted. Note, this means that just because the encryption bit is set in cr3, doesn't imply the full hierarchy is encrypted. Each page table entry in the hierarchy needs to have the encryption bit set to achieve that. So, theoretically, you could have the encryption bit set in cr3 so that the PGD is encrypted, but not set the encryption bit in the PGD entry for a PUD which results in the PUD pointed to by that entry to not be encrypted.”h]”hXXA page is encrypted when a page table entry has the encryption bit set (see below on how to determine its position). The encryption bit can also be specified in the cr3 register, allowing the PGD table to be encrypted. Each successive level of page tables can also be encrypted by setting the encryption bit in the page table entry that points to the next table. This allows the full page table hierarchy to be encrypted. Note, this means that just because the encryption bit is set in cr3, doesn’t imply the full hierarchy is encrypted. Each page table entry in the hierarchy needs to have the encryption bit set to achieve that. So, theoretically, you could have the encryption bit set in cr3 so that the PGD is encrypted, but not set the encryption bit in the PGD entry for a PUD which results in the PUD pointed to by that entry to not be encrypted.”…”�”}”(hj h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KhhÊh²hubhÞ)�”}”(hXcWhen SEV is enabled, instruction pages and guest page tables are always treated as private. All the DMA operations inside the guest must be performed on shared memory. Since the memory encryption bit is controlled by the guest OS when it is operating in 64-bit or 32-bit PAE mode, in all other modes the SEV hardware forces the memory encryption bit to 1.”h]”hXcWhen SEV is enabled, instruction pages and guest page tables are always treated as private. All the DMA operations inside the guest must be performed on shared memory. Since the memory encryption bit is controlled by the guest OS when it is operating in 64-bit or 32-bit PAE mode, in all other modes the SEV hardware forces the memory encryption bit to 1.”…”�”}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K$hhÊh²hubhÞ)�”}”(hŒ‹Support for SME and SEV can be determined through the CPUID instruction. The CPUID function 0x8000001f reports information related to SME::”h]”hŒŠSupport for SME and SEV can be determined through the CPUID instruction. The CPUID function 0x8000001f reports information related to SME:”…”�”}”(hj%h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K*hhÊh²hubhŒ literal_block”“”)�”}”(hX¹0x8000001f[eax]: Bit[0] indicates support for SME Bit[1] indicates support for SEV 0x8000001f[ebx]: Bits[5:0] pagetable bit number used to activate memory encryption Bits[11:6] reduction in physical address space, in bits, when memory encryption is enabled (this only affects system physical addresses, not guest physical addresses)”h]”hX¹0x8000001f[eax]: Bit[0] indicates support for SME Bit[1] indicates support for SEV 0x8000001f[ebx]: Bits[5:0] pagetable bit number used to activate memory encryption Bits[11:6] reduction in physical address space, in bits, when memory encryption is enabled (this only affects system physical addresses, not guest physical addresses)”…”�”}”hj5sbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´K-hhÊh²hubhÞ)�”}”(hŒ�If support for SME is present, MSR 0xc0010010 (MSR_AMD64_SYSCFG) can be used to determine if SME is enabled and/or to enable memory encryption::”h]”hŒ�If support for SME is present, MSR 0xc0010010 (MSR_AMD64_SYSCFG) can be used to determine if SME is enabled and/or to enable memory encryption:”…”�”}”(hjCh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K8hhÊh²hubj4)�”}”(hŒ†0xc0010010: Bit[23] 0 = memory encryption features are disabled 1 = memory encryption features are enabled”h]”hŒ†0xc0010010: Bit[23] 0 = memory encryption features are disabled 1 = memory encryption features are enabled”…”�”}”hjQsbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´K;hhÊh²hubhÞ)�”}”(hŒ_If SEV is supported, MSR 0xc0010131 (MSR_AMD64_SEV) can be used to determine if SEV is active::”h]”hŒ^If SEV is supported, MSR 0xc0010131 (MSR_AMD64_SEV) can be used to determine if SEV is active:”…”�”}”(hj_h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K?hhÊh²hubj4)�”}”(hŒs0xc0010131: Bit[0] 0 = memory encryption is not active 1 = memory encryption is active”h]”hŒs0xc0010131: Bit[0] 0 = memory encryption is not active 1 = memory encryption is active”…”�”}”hjmsbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´KBhhÊh²hubhÞ)�”}”(hX|Linux relies on BIOS to set this bit if BIOS has determined that the reduction in the physical address space as a result of enabling memory encryption (see CPUID information above) will not conflict with the address space resource requirements for the system. If this bit is not set upon Linux startup then Linux itself will not set it and memory encryption will not be possible.”h]”hX|Linux relies on BIOS to set this bit if BIOS has determined that the reduction in the physical address space as a result of enabling memory encryption (see CPUID information above) will not conflict with the address space resource requirements for the system. If this bit is not set upon Linux startup then Linux itself will not set it and memory encryption will not be possible.”…”�”}”(hj{h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KFhhÊh²hubhÞ)�”}”(hŒBThe state of SME in the Linux kernel can be documented as follows:”h]”hŒBThe state of SME in the Linux kernel can be documented as follows:”…”�”}”(hj‰h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KLhhÊh²hubhŒ block_quote”“”)�”}”(hX,- Supported: The CPU supports SME (determined through CPUID instruction). - Enabled: Supported and bit 23 of MSR_AMD64_SYSCFG is set. - Active: Supported, Enabled and the Linux kernel is actively applying the encryption bit to page table entries (the SME mask in the kernel is non-zero). ”h]”hŒ bullet_list”“”)�”}”(hhh]”(hŒ list_item”“”)�”}”(hŒHSupported: The CPU supports SME (determined through CPUID instruction). ”h]”hÞ)�”}”(hŒGSupported: The CPU supports SME (determined through CPUID instruction).”h]”hŒGSupported: The CPU supports SME (determined through CPUID instruction).”…”�”}”(hj¨h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KNhj¤ubah}”(h]”h ]”h"]”h$]”h&]”uh1j¢hjŸubj£)�”}”(hŒ:Enabled: Supported and bit 23 of MSR_AMD64_SYSCFG is set. ”h]”hÞ)�”}”(hŒ9Enabled: Supported and bit 23 of MSR_AMD64_SYSCFG is set.”h]”hŒ9Enabled: Supported and bit 23 of MSR_AMD64_SYSCFG is set.”…”�”}”(hjÀh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KQhj¼ubah}”(h]”h ]”h"]”h$]”h&]”uh1j¢hjŸubj£)�”}”(hŒ˜Active: Supported, Enabled and the Linux kernel is actively applying the encryption bit to page table entries (the SME mask in the kernel is non-zero). ”h]”hÞ)�”}”(hŒ—Active: Supported, Enabled and the Linux kernel is actively applying the encryption bit to page table entries (the SME mask in the kernel is non-zero).”h]”hŒ—Active: Supported, Enabled and the Linux kernel is actively applying the encryption bit to page table entries (the SME mask in the kernel is non-zero).”…”�”}”(hjØh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KThjÔubah}”(h]”h ]”h"]”h$]”h&]”uh1j¢hjŸubeh}”(h]”h ]”h"]”h$]”h&]”Œbullet”Œ-”uh1j�h³hÇh´KNhj™ubah}”(h]”h ]”h"]”h$]”h&]”uh1j—h³hÇh´KNhhÊh²hubhÞ)�”}”(hŒØSME can also be enabled and activated in the BIOS. If SME is enabled and activated in the BIOS, then all memory accesses will be encrypted and it will not be necessary to activate the Linux memory encryption support.”h]”hŒØSME can also be enabled and activated in the BIOS. If SME is enabled and activated in the BIOS, then all memory accesses will be encrypted and it will not be necessary to activate the Linux memory encryption support.”…”�”}”(hjúh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KYhhÊh²hubhÞ)�”}”(hXgIf the BIOS merely enables SME (sets bit 23 of the MSR_AMD64_SYSCFG), then memory encryption can be enabled by supplying mem_encrypt=on on the kernel command line. However, if BIOS does not enable SME, then Linux will not be able to activate memory encryption, even if configured to do so by default or the mem_encrypt=on command line parameter is specified.”h]”hXgIf the BIOS merely enables SME (sets bit 23 of the MSR_AMD64_SYSCFG), then memory encryption can be enabled by supplying mem_encrypt=on on the kernel command line. However, if BIOS does not enable SME, then Linux will not be able to activate memory encryption, even if configured to do so by default or the mem_encrypt=on command line parameter is specified.”…”�”}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K]hhÊh²hubhÉ)�”}”(hhh]”(hÎ)�”}”(hŒSecure Nested Paging (SNP)”h]”hŒSecure Nested Paging (SNP)”…”�”}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjh²hh³hÇh´KdubhÞ)�”}”(hX>SEV-SNP introduces new features (SEV_FEATURES[1:63]) which can be enabled by the hypervisor for security enhancements. Some of these features need guest side implementation to function correctly. The below table lists the expected guest behavior with various possible scenarios of guest/hypervisor SNP feature support.”h]”hX>SEV-SNP introduces new features (SEV_FEATURES[1:63]) which can be enabled by the hypervisor for security enhancements. Some of these features need guest side implementation to function correctly. The below table lists the expected guest behavior with various possible scenarios of guest/hypervisor SNP feature support.”…”�”}”(hj'h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kfhjh²hubhŒtable”“”)�”}”(hhh]”hŒtgroup”“”)�”}”(hhh]”(hŒcolspec”“”)�”}”(hhh]”h}”(h]”h ]”h"]”h$]”h&]”Œcolwidth”Kuh1j?hj<ubj@)�”}”(hhh]”h}”(h]”h ]”h"]”h$]”h&]”Œcolwidth”Kuh1j?hj<ubj@)�”}”(hhh]”h}”(h]”h ]”h"]”h$]”h&]”Œcolwidth”Kuh1j?hj<ubj@)�”}”(hhh]”h}”(h]”h ]”h"]”h$]”h&]”Œcolwidth”Kuh1j?hj<ubhŒthead”“”)�”}”(hhh]”hŒrow”“”)�”}”(hhh]”(hŒentry”“”)�”}”(hhh]”hÞ)�”}”(hŒFeature Enabled by the HV”h]”hŒFeature Enabled by the HV”…”�”}”(hjxh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kmhjuubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjpubjt)�”}”(hhh]”hÞ)�”}”(hŒGuest needs implementation”h]”hŒGuest needs implementation”…”�”}”(hj�h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KmhjŒubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjpubjt)�”}”(hhh]”hÞ)�”}”(hŒGuest has implementation”h]”hŒGuest has implementation”…”�”}”(hj¦h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kmhj£ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjpubjt)�”}”(hhh]”hÞ)�”}”(hŒGuest boot behaviour”h]”hŒGuest boot behaviour”…”�”}”(hj½h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kmhjºubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjpubeh}”(h]”h ]”h"]”h$]”h&]”uh1jnhjkubah}”(h]”h ]”h"]”h$]”h&]”uh1jihj<ubhŒtbody”“”)�”}”(hhh]”(jo)�”}”(hhh]”(jt)�”}”(hhh]”hÞ)�”}”(hŒNo”h]”hŒNo”…”�”}”(hjèh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kphjåubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjâubjt)�”}”(hhh]”hÞ)�”}”(hŒNo”h]”hŒNo”…”�”}”(hjÿh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kphjüubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjâubjt)�”}”(hhh]”hÞ)�”}”(hŒNo”h]”hŒNo”…”�”}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kphjubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjâubjt)�”}”(hhh]”hÞ)�”}”(hŒBoot”h]”hŒBoot”…”�”}”(hj-h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kphj*ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjâubeh}”(h]”h ]”h"]”h$]”h&]”uh1jnhjßubjo)�”}”(hhh]”(jt)�”}”(hhh]”hÞ)�”}”(hŒNo”h]”hŒNo”…”�”}”(hjMh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KshjJubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjGubjt)�”}”(hhh]”hÞ)�”}”(hŒYes”h]”hŒYes”…”�”}”(hjdh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kshjaubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjGubjt)�”}”(hhh]”hÞ)�”}”(hŒNo”h]”hŒNo”…”�”}”(hj{h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kshjxubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjGubjt)�”}”(hhh]”hÞ)�”}”(hŒBoot”h]”hŒBoot”…”�”}”(hj’h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kshj�ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjGubeh}”(h]”h ]”h"]”h$]”h&]”uh1jnhjßubjo)�”}”(hhh]”(jt)�”}”(hhh]”hÞ)�”}”(hŒNo”h]”hŒNo”…”�”}”(hj²h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kvhj¯ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshj¬ubjt)�”}”(hhh]”hÞ)�”}”(hŒYes”h]”hŒYes”…”�”}”(hjÉh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KvhjÆubah}”(h]”h ]”h"]”h$]”h&]”uh1jshj¬ubjt)�”}”(hhh]”hÞ)�”}”(hŒYes”h]”hŒYes”…”�”}”(hjàh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KvhjÝubah}”(h]”h ]”h"]”h$]”h&]”uh1jshj¬ubjt)�”}”(hhh]”hÞ)�”}”(hŒBoot”h]”hŒBoot”…”�”}”(hj÷h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kvhjôubah}”(h]”h ]”h"]”h$]”h&]”uh1jshj¬ubeh}”(h]”h ]”h"]”h$]”h&]”uh1jnhjßubjo)�”}”(hhh]”(jt)�”}”(hhh]”hÞ)�”}”(hŒYes”h]”hŒYes”…”�”}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kyhjubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjubjt)�”}”(hhh]”hÞ)�”}”(hŒNo”h]”hŒNo”…”�”}”(hj.h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kyhj+ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjubjt)�”}”(hhh]”hÞ)�”}”(hŒNo”h]”hŒNo”…”�”}”(hjEh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KyhjBubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjubjt)�”}”(hhh]”hÞ)�”}”(hŒBoot with feature enabled”h]”hŒBoot with feature enabled”…”�”}”(hj\h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KyhjYubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjubeh}”(h]”h ]”h"]”h$]”h&]”uh1jnhjßubjo)�”}”(hhh]”(jt)�”}”(hhh]”hÞ)�”}”(hŒYes”h]”hŒYes”…”�”}”(hj|h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K|hjyubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjvubjt)�”}”(hhh]”hÞ)�”}”(hŒYes”h]”hŒYes”…”�”}”(hj“h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K|hj�ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjvubjt)�”}”(hhh]”hÞ)�”}”(hŒNo”h]”hŒNo”…”�”}”(hjªh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K|hj§ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjvubjt)�”}”(hhh]”hÞ)�”}”(hŒGraceful boot failure”h]”hŒGraceful boot failure”…”�”}”(hjÁh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K|hj¾ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjvubeh}”(h]”h ]”h"]”h$]”h&]”uh1jnhjßubjo)�”}”(hhh]”(jt)�”}”(hhh]”hÞ)�”}”(hŒYes”h]”hŒYes”…”�”}”(hjáh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KhjÞubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjÛubjt)�”}”(hhh]”hÞ)�”}”(hŒYes”h]”hŒYes”…”�”}”(hjøh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Khjõubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjÛubjt)�”}”(hhh]”hÞ)�”}”(hŒYes”h]”hŒYes”…”�”}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Khj ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjÛubjt)�”}”(hhh]”hÞ)�”}”(hŒBoot with feature enabled”h]”hŒBoot with feature enabled”…”�”}”(hj&h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Khj#ubah}”(h]”h ]”h"]”h$]”h&]”uh1jshjÛubeh}”(h]”h ]”h"]”h$]”h&]”uh1jnhjßubeh}”(h]”h ]”h"]”h$]”h&]”uh1jÝhj<ubeh}”(h]”h ]”h"]”h$]”h&]”Œcols”Kuh1j:hj7ubah}”(h]”h ]”h"]”h$]”h&]”uh1j5hjh²hh³hÇh´NubhÞ)�”}”(hŒ;More details in AMD64 APM[1] Vol 2: 15.34.10 SEV_STATUS MSR”h]”hŒ;More details in AMD64 APM[1] Vol 2: 15.34.10 SEV_STATUS MSR”…”�”}”(hjSh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kƒhjh²hubeh}”(h]”Œsecure-nested-paging-snp”ah ]”h"]”Œsecure nested paging (snp)”ah$]”h&]”uh1hÈhhÊh²hh³hÇh´KdubhÉ)�”}”(hhh]”(hÎ)�”}”(hŒReverse Map Table (RMP)”h]”hŒReverse Map Table (RMP)”…”�”}”(hjlh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjih²hh³hÇh´K†ubhÞ)�”}”(hŒîThe RMP is a structure in system memory that is used to ensure a one-to-one mapping between system physical addresses and guest physical addresses. Each page of memory that is potentially assignable to guests has one entry within the RMP.”h]”hŒîThe RMP is a structure in system memory that is used to ensure a one-to-one mapping between system physical addresses and guest physical addresses. Each page of memory that is potentially assignable to guests has one entry within the RMP.”…”�”}”(hjzh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kˆhjih²hubhÞ)�”}”(hŒWThe RMP table can be either contiguous in memory or a collection of segments in memory.”h]”hŒWThe RMP table can be either contiguous in memory or a collection of segments in memory.”…”�”}”(hjˆh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K�hjih²hubhÉ)�”}”(hhh]”(hÎ)�”}”(hŒContiguous RMP”h]”hŒContiguous RMP”…”�”}”(hj™h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhj–h²hh³hÇh´K‘ubhÞ)�”}”(hŒ†Support for this form of the RMP is present when support for SEV-SNP is present, which can be determined using the CPUID instruction::”h]”hŒ…Support for this form of the RMP is present when support for SEV-SNP is present, which can be determined using the CPUID instruction:”…”�”}”(hj§h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K“hj–h²hubj4)�”}”(hŒ=0x8000001f[eax]: Bit[4] indicates support for SEV-SNP”h]”hŒ=0x8000001f[eax]: Bit[4] indicates support for SEV-SNP”…”�”}”hjµsbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´K–hj–h²hubhÞ)�”}”(hŒHThe location of the RMP is identified to the hardware through two MSRs::”h]”hŒGThe location of the RMP is identified to the hardware through two MSRs:”…”�”}”(hjÃh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K™hj–h²hubj4)�”}”(hŒ¦0xc0010132 (RMP_BASE): System physical address of the first byte of the RMP 0xc0010133 (RMP_END): System physical address of the last byte of the RMP”h]”hŒ¦0xc0010132 (RMP_BASE): System physical address of the first byte of the RMP 0xc0010133 (RMP_END): System physical address of the last byte of the RMP”…”�”}”hjÑsbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´K›hj–h²hubhÞ)�”}”(hŒ’Hardware requires that RMP_BASE and (RPM_END + 1) be 8KB aligned, but SEV firmware increases the alignment requirement to require a 1MB alignment.”h]”hŒ’Hardware requires that RMP_BASE and (RPM_END + 1) be 8KB aligned, but SEV firmware increases the alignment requirement to require a 1MB alignment.”…”�”}”(hjßh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K¡hj–h²hubhÞ)�”}”(hXThe RMP consists of a 16KB region used for processor bookkeeping followed by the RMP entries, which are 16 bytes in size. The size of the RMP determines the range of physical memory that the hypervisor can assign to SEV-SNP guests. The RMP covers the system physical address from::”h]”hXThe RMP consists of a 16KB region used for processor bookkeeping followed by the RMP entries, which are 16 bytes in size. The size of the RMP determines the range of physical memory that the hypervisor can assign to SEV-SNP guests. The RMP covers the system physical address from:”…”�”}”(hjíh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K¤hj–h²hubj4)�”}”(hŒ30 to ((RMP_END + 1 - RMP_BASE - 16KB) / 16B) x 4KB.”h]”hŒ30 to ((RMP_END + 1 - RMP_BASE - 16KB) / 16B) x 4KB.”…”�”}”hjûsbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´K©hj–h²hubhÞ)�”}”(hXThe current Linux support relies on BIOS to allocate/reserve the memory for the RMP and to set RMP_BASE and RMP_END appropriately. Linux uses the MSR values to locate the RMP and determine the size of the RMP. The RMP must cover all of system memory in order for Linux to enable SEV-SNP.”h]”hXThe current Linux support relies on BIOS to allocate/reserve the memory for the RMP and to set RMP_BASE and RMP_END appropriately. Linux uses the MSR values to locate the RMP and determine the size of the RMP. The RMP must cover all of system memory in order for Linux to enable SEV-SNP.”…”�”}”(hj h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K«hj–h²hubeh}”(h]”Œcontiguous-rmp”ah ]”h"]”Œcontiguous rmp”ah$]”h&]”uh1hÈhjih²hh³hÇh´K‘ubhÉ)�”}”(hhh]”(hÎ)�”}”(hŒ Segmented RMP”h]”hŒ Segmented RMP”…”�”}”(hj"h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjh²hh³hÇh´K±ubhÞ)�”}”(hX,Segmented RMP support is a new way of representing the layout of an RMP. Initial RMP support required the RMP table to be contiguous in memory. RMP accesses from a NUMA node on which the RMP doesn't reside can take longer than accesses from a NUMA node on which the RMP resides. Segmented RMP support allows the RMP entries to be located on the same node as the memory the RMP is covering, potentially reducing latency associated with accessing an RMP entry associated with the memory. Each RMP segment covers a specific range of system physical addresses.”h]”hX.Segmented RMP support is a new way of representing the layout of an RMP. Initial RMP support required the RMP table to be contiguous in memory. RMP accesses from a NUMA node on which the RMP doesn’t reside can take longer than accesses from a NUMA node on which the RMP resides. Segmented RMP support allows the RMP entries to be located on the same node as the memory the RMP is covering, potentially reducing latency associated with accessing an RMP entry associated with the memory. Each RMP segment covers a specific range of system physical addresses.”…”�”}”(hj0h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K³hjh²hubhÞ)�”}”(hŒPSupport for this form of the RMP can be determined using the CPUID instruction::”h]”hŒOSupport for this form of the RMP can be determined using the CPUID instruction:”…”�”}”(hj>h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K¼hjh²hubj4)�”}”(hŒD0x8000001f[eax]: Bit[23] indicates support for segmented RMP”h]”hŒD0x8000001f[eax]: Bit[23] indicates support for segmented RMP”…”�”}”hjLsbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´K¿hjh²hubhÞ)�”}”(hŒQIf supported, segmented RMP attributes can be found using the CPUID instruction::”h]”hŒPIf supported, segmented RMP attributes can be found using the CPUID instruction:”…”�”}”(hjZh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KÂhjh²hubj4)�”}”(hX50x80000025[eax]: Bits[5:0] minimum supported RMP segment size Bits[11:6] maximum supported RMP segment size 0x80000025[ebx]: Bits[9:0] number of cacheable RMP segment definitions Bit[10] indicates if the number of cacheable RMP segments is a hard limit”h]”hX50x80000025[eax]: Bits[5:0] minimum supported RMP segment size Bits[11:6] maximum supported RMP segment size 0x80000025[ebx]: Bits[9:0] number of cacheable RMP segment definitions Bit[10] indicates if the number of cacheable RMP segments is a hard limit”…”�”}”hjhsbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´KÅhjh²hubhÞ)�”}”(hŒ3To enable a segmented RMP, a new MSR is available::”h]”hŒ2To enable a segmented RMP, a new MSR is available:”…”�”}”(hjvh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KÎhjh²hubj4)�”}”(hŒÆ0xc0010136 (RMP_CFG): Bit[0] indicates if segmented RMP is enabled Bits[13:8] contains the size of memory covered by an RMP segment (expressed as a power of 2)”h]”hŒÆ0xc0010136 (RMP_CFG): Bit[0] indicates if segmented RMP is enabled Bits[13:8] contains the size of memory covered by an RMP segment (expressed as a power of 2)”…”�”}”hj„sbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´KÐhjh²hubhÞ)�”}”(hXùThe RMP segment size defined in the RMP_CFG MSR applies to all segments of the RMP. Therefore each RMP segment covers a specific range of system physical addresses. For example, if the RMP_CFG MSR value is 0x2401, then the RMP segment coverage value is 0x24 => 36, meaning the size of memory covered by an RMP segment is 64GB (1 << 36). So the first RMP segment covers physical addresses from 0 to 0xF_FFFF_FFFF, the second RMP segment covers physical addresses from 0x10_0000_0000 to 0x1F_FFFF_FFFF, etc.”h]”hXùThe RMP segment size defined in the RMP_CFG MSR applies to all segments of the RMP. Therefore each RMP segment covers a specific range of system physical addresses. For example, if the RMP_CFG MSR value is 0x2401, then the RMP segment coverage value is 0x24 => 36, meaning the size of memory covered by an RMP segment is 64GB (1 << 36). So the first RMP segment covers physical addresses from 0 to 0xF_FFFF_FFFF, the second RMP segment covers physical addresses from 0x10_0000_0000 to 0x1F_FFFF_FFFF, etc.”…”�”}”(hj’h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KÕhjh²hubhÞ)�”}”(hX.When a segmented RMP is enabled, RMP_BASE points to the RMP bookkeeping area as it does today (16K in size). However, instead of RMP entries beginning immediately after the bookkeeping area, there is a 4K RMP segment table (RST). Each entry in the RST is 8-bytes in size and represents an RMP segment::”h]”hX-When a segmented RMP is enabled, RMP_BASE points to the RMP bookkeeping area as it does today (16K in size). However, instead of RMP entries beginning immediately after the bookkeeping area, there is a 4K RMP segment table (RST). Each entry in the RST is 8-bytes in size and represents an RMP segment:”…”�”}”(hj h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´KÝhjh²hubj4)�”}”(hX¹Bits[19:0] mapped size (in GB) The mapped size can be less than the defined segment size. A value of zero, indicates that no RMP exists for the range of system physical addresses associated with this segment. Bits[51:20] segment physical address This address is left shift 20-bits (or just masked when read) to form the physical address of the segment (1MB alignment).”h]”hX¹Bits[19:0] mapped size (in GB) The mapped size can be less than the defined segment size. A value of zero, indicates that no RMP exists for the range of system physical addresses associated with this segment. Bits[51:20] segment physical address This address is left shift 20-bits (or just masked when read) to form the physical address of the segment (1MB alignment).”…”�”}”hj®sbah}”(h]”h ]”h"]”h$]”h&]”hÅhÆuh1j3h³hÇh´Kãhjh²hubhÞ)�”}”(hŒ×The RST can hold 512 segment entries but can be limited in size to the number of cacheable RMP segments (CPUID 0x80000025_EBX[9:0]) if the number of cacheable RMP segments is a hard limit (CPUID 0x80000025_EBX[10]).”h]”hŒ×The RST can hold 512 segment entries but can be limited in size to the number of cacheable RMP segments (CPUID 0x80000025_EBX[9:0]) if the number of cacheable RMP segments is a hard limit (CPUID 0x80000025_EBX[10]).”…”�”}”(hj¼h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kìhjh²hubhÞ)�”}”(hX†The current Linux support relies on BIOS to allocate/reserve the memory for the segmented RMP (the bookkeeping area, RST, and all segments), build the RST and to set RMP_BASE, RMP_END, and RMP_CFG appropriately. Linux uses the MSR values to locate the RMP and determine the size and location of the RMP segments. The RMP must cover all of system memory in order for Linux to enable SEV-SNP.”h]”hX†The current Linux support relies on BIOS to allocate/reserve the memory for the segmented RMP (the bookkeeping area, RST, and all segments), build the RST and to set RMP_BASE, RMP_END, and RMP_CFG appropriately. Linux uses the MSR values to locate the RMP and determine the size and location of the RMP segments. The RMP must cover all of system memory in order for Linux to enable SEV-SNP.”…”�”}”(hjÊh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kðhjh²hubhÞ)�”}”(hŒWMore details in the AMD64 APM Vol 2, section "15.36.3 Reverse Map Table", docID: 24593.”h]”hŒ[More details in the AMD64 APM Vol 2, section “15.36.3 Reverse Map Tableâ€�, docID: 24593.”…”�”}”(hjØh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´K÷hjh²hubeh}”(h]”Œ segmented-rmp”ah ]”h"]”Œ segmented rmp”ah$]”h&]”uh1hÈhjih²hh³hÇh´K±ubeh}”(h]”Œreverse-map-table-rmp”ah ]”h"]”Œreverse map table (rmp)”ah$]”h&]”uh1hÈhhÊh²hh³hÇh´K†ubhÉ)�”}”(hhh]”(hÎ)�”}”(hŒSecure VM Service Module (SVSM)”h]”hŒSecure VM Service Module (SVSM)”…”�”}”(hjùh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÍhjöh²hh³hÇh´KûubhÞ)�”}”(hXGSNP provides a feature called Virtual Machine Privilege Levels (VMPL) which defines four privilege levels at which guest software can run. The most privileged level is 0 and numerically higher numbers have lesser privileges. More details in the AMD64 APM Vol 2, section "15.35.7 Virtual Machine Privilege Levels", docID: 24593.”h]”hXKSNP provides a feature called Virtual Machine Privilege Levels (VMPL) which defines four privilege levels at which guest software can run. The most privileged level is 0 and numerically higher numbers have lesser privileges. More details in the AMD64 APM Vol 2, section “15.35.7 Virtual Machine Privilege Levelsâ€�, docID: 24593.”…”�”}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Kýhjöh²hubhÞ)�”}”(hŒÚWhen using that feature, different services can run at different protection levels, apart from the guest OS but still within the secure SNP environment. They can provide services to the guest, like a vTPM, for example.”h]”hŒÚWhen using that feature, different services can run at different protection levels, apart from the guest OS but still within the secure SNP environment. They can provide services to the guest, like a vTPM, for example.”…”�”}”(hjh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Mhjöh²hubhÞ)�”}”(hX When a guest is not running at VMPL0, it needs to communicate with the software running at VMPL0 to perform privileged operations or to interact with secure services. An example fur such a privileged operation is PVALIDATE which is *required* to be executed at VMPL0.”h]”(hŒèWhen a guest is not running at VMPL0, it needs to communicate with the software running at VMPL0 to perform privileged operations or to interact with secure services. An example fur such a privileged operation is PVALIDATE which is ”…”�”}”(hj#h²hh³Nh´NubhŒemphasis”“”)�”}”(hŒ *required*”h]”hŒrequired”…”�”}”(hj-h²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1j+hj#ubhŒ to be executed at VMPL0.”…”�”}”(hj#h²hh³Nh´Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Mhjöh²hubhÞ)�”}”(hŒïIn this scenario, the software running at VMPL0 is usually called a Secure VM Service Module (SVSM). Discovery of an SVSM and the API used to communicate with it is documented in "Secure VM Service Module for SEV-SNP Guests", docID: 58019.”h]”hŒóIn this scenario, the software running at VMPL0 is usually called a Secure VM Service Module (SVSM). Discovery of an SVSM and the API used to communicate with it is documented in “Secure VM Service Module for SEV-SNP Guestsâ€�, docID: 58019.”…”�”}”(hjEh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´M hjöh²hubhÞ)�”}”(hŒz(Latest versions of the above-mentioned documents can be found by using a search engine like duckduckgo.com and typing in:”h]”hŒz(Latest versions of the above-mentioned documents can be found by using a search engine like duckduckgo.com and typing in:”…”�”}”(hjSh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Mhjöh²hubj˜)�”}”(hŒIsite:amd.com "Secure VM Service Module for SEV-SNP Guests", docID: 58019 ”h]”hÞ)�”}”(hŒHsite:amd.com "Secure VM Service Module for SEV-SNP Guests", docID: 58019”h]”hŒLsite:amd.com “Secure VM Service Module for SEV-SNP Guestsâ€�, docID: 58019”…”�”}”(hjeh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Mhjaubah}”(h]”h ]”h"]”h$]”h&]”uh1j—h³hÇh´Mhjöh²hubhÞ)�”}”(hŒ for example.)”h]”hŒ for example.)”…”�”}”(hjyh²hh³Nh´Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÝh³hÇh´Mhjöh²hubeh}”(h]”Œsecure-vm-service-module-svsm”ah ]”h"]”Œsecure vm service module (svsm)”ah$]”h&]”uh1hÈhhÊh²hh³hÇh´Kûubeh}”(h]”Œamd-memory-encryption”ah ]”h"]”Œamd memory encryption”ah$]”h&]”uh1hÈhhh²hh³hÇh´Kubeh}”(h]”h ]”h"]”h$]”h&]”Œsource”hÇuh1hŒcurrent_source”NŒ current_line”NŒsettings”Œdocutils.frontend”ŒValues”“”)�”}”(hÍNŒ generator”NŒ datestamp”NŒ source_link”NŒ source_url”NŒ toc_backlinks”jsŒfootnote_backlinks”KŒ sectnum_xform”KŒstrip_comments”NŒstrip_elements_with_classes”NŒ strip_classes”NŒ report_level”KŒ halt_level”KŒexit_status_level”KŒdebug”NŒwarning_stream”NŒ traceback”ˆŒinput_encoding”Œ utf-8-sig”Œinput_encoding_error_handler”Œstrict”Œoutput_encoding”Œutf-8”Œoutput_encoding_error_handler”j¹Œerror_encoding”Œutf-8”Œerror_encoding_error_handler”Œbackslashreplace”Œ language_code”Œen”Œrecord_dependencies”NŒconfig”NŒ id_prefix”hŒauto_id_prefix”Œid”Œ dump_settings”NŒdump_internals”NŒdump_transforms”NŒdump_pseudo_xml”NŒexpose_internals”NŒstrict_visitor”NŒ_disable_config”NŒ_source”hÇŒ _destination”NŒ _config_files”]”Œ7/var/lib/git/docbuild/linux/Documentation/docutils.conf”aŒfile_insertion_enabled”ˆŒ raw_enabled”KŒline_length_limit”M'Œpep_references”NŒ pep_base_url”Œhttps://peps.python.org/”Œpep_file_url_template”Œpep-%04d”Œrfc_references”NŒ rfc_base_url”Œ&https://datatracker.ietf.org/doc/html/”Œ tab_width”KŒtrim_footnote_reference_space”‰Œsyntax_highlight”Œlong”Œ smart_quotes”ˆŒsmartquotes_locales”]”Œcharacter_level_inline_markup”‰Œdoctitle_xform”‰Œ docinfo_xform”KŒsectsubtitle_xform”‰Œ image_loading”Œlink”Œembed_stylesheet”‰Œcloak_email_addresses”ˆŒsection_self_link”‰Œenv”NubŒreporter”NŒindirect_targets”]”Œsubstitution_defs”}”Œsubstitution_names”}”Œrefnames”}”Œrefids”}”Œnameids”}”(j”j‘jfjcjójðjjjëjèjŒj‰uŒ nametypes”}”(j”‰jf‰jó‰j‰jë‰jŒ‰uh}”(j‘hÊjcjjðjijj–jèjj‰jöuŒ footnote_refs”}”Œ citation_refs”}”Œ autofootnotes”]”Œautofootnote_refs”]”Œsymbol_footnotes”]”Œsymbol_footnote_refs”]”Œ footnotes”]”Œ citations”]”Œautofootnote_start”KŒsymbol_footnote_start”KŒ id_counter”Œ collections”ŒCounter”“”}”…”R”Œparse_messages”]”Œtransform_messages”]”Œ transformer”NŒ include_log”]”Œ decoration”Nh²hub.