From: "Lendacky, Thomas" <thomas.lendacky@amd.com>
To: Laszlo Ersek <lersek@redhat.com>, devel@edk2.groups.io
Cc: Joerg Roedel <joro@8bytes.org>, Borislav Petkov <bp@alien8.de>,
Ard Biesheuvel <ardb+tianocore@kernel.org>,
Jordan Justen <jordan.l.justen@intel.com>,
Brijesh Singh <brijesh.singh@amd.com>,
James Bottomley <jejb@linux.ibm.com>,
Jiewen Yao <jiewen.yao@intel.com>, Min Xu <min.m.xu@intel.com>
Subject: Re: [edk2-devel] [PATCH 2/3] OvmfPkg/VmgExitLib: Add support for new MMIO MOV opcodes
Date: Fri, 23 Apr 2021 08:24:44 -0500 [thread overview]
Message-ID: <d9a58c85-0d2b-4ef0-fe38-29a192040e86@amd.com> (raw)
In-Reply-To: <de75a0eb-88f6-b25d-c427-4e6180816237@redhat.com>
On 4/23/21 4:10 AM, Laszlo Ersek wrote:
> On 04/22/21 17:42, Tom Lendacky wrote:
>> On 4/22/21 9:15 AM, Tom Lendacky wrote:
>>> On 4/22/21 12:50 AM, Laszlo Ersek via groups.io wrote:
>>>> On 04/21/21 00:54, Lendacky, Thomas wrote:
>>>>> From: Tom Lendacky <thomas.lendacky@amd.com>
>>>>>
>>>>> BZ: https://nam11.safelinks.protection.outlook.com/?url=https%3A%2F%2Fbugzilla.tianocore.org%2Fshow_bug.cgi%3Fid%3D3345&data=04%7C01%7Cthomas.lendacky%40amd.com%7Ca0ff778cdbb146a6186508d90637ba60%7C3dd8961fe4884e608e11a82d994e183d%7C0%7C0%7C637547658699539157%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=vMmmGGXXT8MtM4WOB4gkwtkr0cwwkx98LoOXYg6fclQ%3D&reserved=0
>>>>>
>>>>> Enabling TPM support results in guest termination of an SEV-ES guest
>>>>> because it uses MMIO opcodes that are not currently supported.
>>>>>
>>>>> Add support for the new MMIO opcodes (0xA0 - 0xA3), MOV instructions which
>>>>> use a memory offset directly encoded in the instruction. Also, add a DEBUG
>>>>> statement to identify an unsupported MMIO opcode being used.
>>>>>
>>>>> Fixes: c45f678a1ea2080344e125dc55b14e4b9f98483d
>>>>> Cc: Laszlo Ersek <lersek@redhat.com>
>>>>> Cc: Ard Biesheuvel <ardb+tianocore@kernel.org>
>>>>> Cc: Jordan Justen <jordan.l.justen@intel.com>
>>>>> Cc: Brijesh Singh <brijesh.singh@amd.com>
>>>>> Cc: James Bottomley <jejb@linux.ibm.com>
>>>>> Cc: Jiewen Yao <jiewen.yao@intel.com>
>>>>> Cc: Min Xu <min.m.xu@intel.com>
>>>>> Signed-off-by: Tom Lendacky <thomas.lendacky@amd.com>
>>>>> ---
>>>>> OvmfPkg/Library/VmgExitLib/VmgExitVcHandler.c | 99 +++++++++++++++++++
>>>>> 1 file changed, 99 insertions(+)
>>>>>
>>>>> diff --git a/OvmfPkg/Library/VmgExitLib/VmgExitVcHandler.c b/OvmfPkg/Library/VmgExitLib/VmgExitVcHandler.c
>>>>> index 273f36499988..f9660b757d8e 100644
>>>>> --- a/OvmfPkg/Library/VmgExitLib/VmgExitVcHandler.c
>>>>> +++ b/OvmfPkg/Library/VmgExitLib/VmgExitVcHandler.c
>>>>> @@ -678,6 +678,7 @@ MmioExit (
>>>>> UINTN Bytes;
>>>>> UINT64 *Register;
>>>>> UINT8 OpCode, SignByte;
>>>>> + UINTN Address;
>>>>>
>>>>> Bytes = 0;
>>>>>
>>>>> @@ -727,6 +728,51 @@ MmioExit (
>>>>> }
>>>>> break;
>>>>>
>>>>> + //
>>>>> + // MMIO write (MOV moffsetX, aX)
>>>>> + //
>>>>> + case 0xA2:
>>>>> + Bytes = 1;
>>>>> + //
>>>>> + // fall through
>>>>> + //
>>>>> + case 0xA3:
>>>>> + Bytes = ((Bytes != 0) ? Bytes :
>>>>> + (InstructionData->DataSize == Size16Bits) ? 2 :
>>>>> + (InstructionData->DataSize == Size32Bits) ? 4 :
>>>>> + (InstructionData->DataSize == Size64Bits) ? 8 :
>>>>> + 0);
>>>>> +
>>>>> + InstructionData->ImmediateSize = (UINTN) (1 << InstructionData->AddrSize);
>>>>> + InstructionData->End += (UINTN) (1 << InstructionData->AddrSize);
>>>>> +
>>>>> + if (InstructionData->AddrSize == Size8Bits) {
>>>>> + Address = *(UINT8 *) InstructionData->Immediate;
>>>>> + } else if (InstructionData->AddrSize == Size16Bits) {
>>>>> + Address = *(UINT16 *) InstructionData->Immediate;
>>>>> + } else if (InstructionData->AddrSize == Size32Bits) {
>>>>> + Address = *(UINT32 *) InstructionData->Immediate;
>>>>> + } else {
>>>>> + Address = *(UINTN *) InstructionData->Immediate;
>>>>> + }
>>>>
>>>> (1) Can we simplify this as follows?
>>>>
>>>> InstructionData->ImmediateSize = 1 << InstructionData->AddrSize;
>>>> InstructionData->End += InstructionData->ImmediateSize;
>>>> Address = 0;
>>>> CopyMem (&Address, InstructionData->Immediate,
>>>> InstructionData->ImmediateSize);
>>>
>>> Yup, that can be done.
>>
>> "Address" is a type UINTN, but since this is X64 only code, an 8-byte copy
>> isn't an issue. Should I add a comment about that above the setting of
>> "Address"? Or should I convert "Address" to a UINT64 - although
>> ValidateMmioMemory expects a UINTN... Thoughts?
>
> Yes, I had the exact same thought process :)
>
> The comment looks good, but how about expressing it as a STATIC_ASSERT,
> with sizeof (UINTN) and sizeof (UINT64) being equal? (Alternatively,
> about MAX_UINT64 being equal to MAX_UINTN.)
I like the STATIC_ASSERT idea, I'll do that.
Thanks,
Tom
>
> If you find that too verbose, a comment is good enough too, of course.
>
> Thanks!
> Laszlo
>
>>
>> Thanks,
>> Tom
>>
>>>
>>>>
>>>>> +
>>>>> + Status = ValidateMmioMemory (Ghcb, Address, Bytes);
>>>>> + if (Status != 0) {
>>>>> + return Status;
>>>>> + }
>>>>> +
>>>>> + ExitInfo1 = Address;
>>>>> + ExitInfo2 = Bytes;
>>>>> + CopyMem (Ghcb->SharedBuffer, &Regs->Rax, Bytes);
>>>>> +
>>>>> + Ghcb->SaveArea.SwScratch = (UINT64) Ghcb->SharedBuffer;
>>>>> + VmgSetOffsetValid (Ghcb, GhcbSwScratch);
>>>>> + Status = VmgExit (Ghcb, SVM_EXIT_MMIO_WRITE, ExitInfo1, ExitInfo2);
>>>>> + if (Status != 0) {
>>>>> + return Status;
>>>>> + }
>>>>> + break;
>>>>> +
>>>>> //
>>>>> // MMIO write (MOV reg/memX, immX)
>>>>> //
>>>>> @@ -809,6 +855,58 @@ MmioExit (
>>>>> CopyMem (Register, Ghcb->SharedBuffer, Bytes);
>>>>> break;
>>>>>
>>>>> + //
>>>>> + // MMIO read (MOV aX, moffsetX)
>>>>> + //
>>>>> + case 0xA0:
>>>>> + Bytes = 1;
>>>>> + //
>>>>> + // fall through
>>>>> + //
>>>>> + case 0xA1:
>>>>> + Bytes = ((Bytes != 0) ? Bytes :
>>>>> + (InstructionData->DataSize == Size16Bits) ? 2 :
>>>>> + (InstructionData->DataSize == Size32Bits) ? 4 :
>>>>> + (InstructionData->DataSize == Size64Bits) ? 8 :
>>>>> + 0);
>>>>> +
>>>>> + InstructionData->ImmediateSize = (UINTN) (1 << InstructionData->AddrSize);
>>>>> + InstructionData->End += (UINTN) (1 << InstructionData->AddrSize);
>>>>> +
>>>>> + if (InstructionData->AddrSize == Size8Bits) {
>>>>> + Address = *(UINT8 *) InstructionData->Immediate;
>>>>> + } else if (InstructionData->AddrSize == Size16Bits) {
>>>>> + Address = *(UINT16 *) InstructionData->Immediate;
>>>>> + } else if (InstructionData->AddrSize == Size32Bits) {
>>>>> + Address = *(UINT32 *) InstructionData->Immediate;
>>>>> + } else {
>>>>> + Address = *(UINTN *) InstructionData->Immediate;
>>>>> + }
>>>>
>>>> (2) Similar question as (1).
>>>
>>> Will do.
>>>
>>>>
>>>>> +
>>>>> + Status = ValidateMmioMemory (Ghcb, Address, Bytes);
>>>>> + if (Status != 0) {
>>>>> + return Status;
>>>>> + }
>>>>> +
>>>>> + ExitInfo1 = Address;
>>>>> + ExitInfo2 = Bytes;
>>>>> +
>>>>> + Ghcb->SaveArea.SwScratch = (UINT64) Ghcb->SharedBuffer;
>>>>> + VmgSetOffsetValid (Ghcb, GhcbSwScratch);
>>>>> + Status = VmgExit (Ghcb, SVM_EXIT_MMIO_READ, ExitInfo1, ExitInfo2);
>>>>> + if (Status != 0) {
>>>>> + return Status;
>>>>> + }
>>>>> +
>>>>> + if (Bytes == 4) {
>>>>> + //
>>>>> + // Zero-extend for 32-bit operation
>>>>> + //
>>>>> + Regs->Rax = 0;
>>>>> + }
>>>>
>>>> (3) This is also seen with opcode 0x8B, but can you remind me please why
>>>> we ignore (Bytes == 1) and (Bytes == 2) for zero extension?
>>>
>>> That comes from the APM Vol 3, Table B-1, that says, in 64-bit mode, for a
>>> 32-bit operand size the 32-bit register results are zero-extended to 64-bits.
>>>
>>>>
>>>>> + CopyMem (&Regs->Rax, Ghcb->SharedBuffer, Bytes);
>>>>> + break;
>>>>> +
>>>>> //
>>>>> // MMIO read w/ zero-extension ((MOVZX regX, reg/memX)
>>>>> //
>>>>> @@ -886,6 +984,7 @@ MmioExit (
>>>>> break;
>>>>>
>>>>> default:
>>>>> + DEBUG ((DEBUG_INFO, "Invalid MMIO opcode (%x)\n", OpCode));
>>>>> Status = GP_EXCEPTION;
>>>>> ASSERT (FALSE);
>>>>> }
>>>>>
>>>>
>>>> (4) We should use the DEBUG_ERROR log mask here.
>>>
>>> Will change.
>>>
>>> Thanks,
>>> Tom
>>>
>>>>
>>>> Thanks
>>>> Laszlo
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>
>>
>
next prev parent reply other threads:[~2021-04-23 13:24 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-04-20 22:54 [PATCH 0/3] SEV-ES TPM enablement fixes Lendacky, Thomas
2021-04-20 22:54 ` [PATCH 1/3] OvfmPkg/VmgExitLib: Properly decode MMIO MOVZX and MOVSX opcodes Lendacky, Thomas
2021-04-22 5:28 ` [edk2-devel] " Laszlo Ersek
2021-04-22 13:35 ` Lendacky, Thomas
2021-04-23 9:07 ` Laszlo Ersek
2021-04-20 22:54 ` [PATCH 2/3] OvmfPkg/VmgExitLib: Add support for new MMIO MOV opcodes Lendacky, Thomas
2021-04-22 5:50 ` [edk2-devel] " Laszlo Ersek
2021-04-22 14:15 ` Lendacky, Thomas
2021-04-22 15:42 ` Lendacky, Thomas
2021-04-23 9:10 ` Laszlo Ersek
2021-04-23 13:24 ` Lendacky, Thomas [this message]
2021-04-20 22:54 ` [PATCH 3/3] OvmfPkg/PlatformPei: Mark TPM MMIO range as unencrypted for SEV Lendacky, Thomas
2021-04-20 23:17 ` Eric van Tassell
2021-04-21 14:09 ` [edk2-devel] " Andrew Fish
[not found] ` <1677E4DA25FD7265.31957@groups.io>
2021-04-21 17:20 ` Andrew Fish
2021-04-21 17:45 ` Lendacky, Thomas
2021-04-21 22:24 ` Andrew Fish
2021-04-22 6:07 ` Laszlo Ersek
2021-04-23 10:26 ` Laszlo Ersek
2021-04-23 13:04 ` [edk2-devel] " Laszlo Ersek
2021-04-23 13:09 ` Laszlo Ersek
2021-04-23 17:41 ` Lendacky, Thomas
2021-04-23 20:02 ` Lendacky, Thomas
2021-04-26 12:07 ` Laszlo Ersek
2021-04-26 14:21 ` Lendacky, Thomas
2021-04-27 14:58 ` Lendacky, Thomas
2021-04-28 16:12 ` Laszlo Ersek
2021-04-28 19:09 ` Lendacky, Thomas
2021-04-30 15:39 ` Laszlo Ersek
2021-04-30 17:37 ` Lendacky, Thomas
2021-04-26 11:08 ` Laszlo Ersek
[not found] ` <1677B2EC90F30786.1355@groups.io>
2021-04-20 23:13 ` Lendacky, Thomas
2021-04-22 7:34 ` Laszlo Ersek
2021-04-22 8:31 ` Laszlo Ersek
2021-04-22 8:39 ` Laszlo Ersek
2021-04-22 19:10 ` Lendacky, Thomas
2021-04-23 9:28 ` Laszlo Ersek
2021-04-22 14:51 ` Lendacky, Thomas
2021-04-22 16:04 ` Lendacky, Thomas
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-list from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=d9a58c85-0d2b-4ef0-fe38-29a192040e86@amd.com \
--to=devel@edk2.groups.io \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox