Received-SPF: pass (google.com: domain of linux-kernel+bounces-149195-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) client-ip=2604:1380:45e3:2400::1;
Message-ID: <505dcf34-93ff-643c-b149-8ef9ce90c023@amd.com>
Date: Wed, 17 Apr 2024 15:35:53 -0500
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.15.1
Content-Language: en-US
To: Borislav Petkov <bp@alien8.de>
Cc: linux-kernel@vger.kernel.org, x86@kernel.org, linux-coco@lists.linux.dev,
 svsm-devel@coconut-svsm.dev, Thomas Gleixner <tglx@linutronix.de>,
 Ingo Molnar <mingo@redhat.com>, Dave Hansen <dave.hansen@linux.intel.com>,
 "H. Peter Anvin" <hpa@zytor.com>, Andy Lutomirski <luto@kernel.org>,
 Peter Zijlstra <peterz@infradead.org>,
 Dan Williams <dan.j.williams@intel.com>, Michael Roth
 <michael.roth@amd.com>, Ashish Kalra <ashish.kalra@amd.com>
References: <cover.1711405593.git.thomas.lendacky@amd.com>
 <1b0d8ec8e671ad957a2ad888725ce24edeedf74a.1711405593.git.thomas.lendacky@amd.com>
 <20240417114658.GHZh-2sk47TZgCp4Mb@fat_crate.local>
From: Tom Lendacky <thomas.lendacky@amd.com>
Subject: Re: [PATCH v3 02/14] x86/sev: Make the VMPL0 checking function more
 generic
In-Reply-To: <20240417114658.GHZh-2sk47TZgCp4Mb@fat_crate.local>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0:
	=?utf-8?B?OEtiRjcvQmFRZjQzYlh5M3FGS2JIb1ZOd2VLaE8xREtuakJXMXEwcXg4czlZ?=
 =?utf-8?B?cnZycXZqd3dVNUxuQVc1ZzhmVWlvYm8vbXNBcHkrZnlGNnVNblZCYSt2dDBE?=
 =?utf-8?B?aFhGaFlLVmZsZ1NKL3NSMUxwMTVSNGtla3RvNUVIbjdPekdHVmI1dXhjejhU?=
 =?utf-8?B?VmJQVWVMN1NoNTZYRVVxc1ppdGhlM1JqdDROWGtBQnlOQkkvejJlWXYvSjE1?=
 =?utf-8?B?UzNobmxVdlltZFZxbDZwVXROVVYrRnl2MENkN29vSGtMbW83dzBmUmhITnhw?=
 =?utf-8?B?UmNickFtVjNYeU1XY1h0MWdMWE9JbHdFZ2UyZldYNXBiVzljWUNjVTcyam1O?=
 =?utf-8?B?VVdPdWxzZ3JhTmNRbW1zMnBrdGZRblgxS1hDVktHQ2JwYWIwTm9nU1RZVk9I?=
 =?utf-8?B?Q3k4b1BtL1BtdEUzdTdLZXgzMThnYlFnZXEycTYxaFlJSmFpZjFUZXRrQkph?=
 =?utf-8?B?OTdkOXBtSzhpQlBWWkVRTzFhdW5oTzZiMGJzZmhnWDZIVE5QVlgraDZKSkFL?=
 =?utf-8?B?NmdKc2ZpU2h2T0RUVEZvRUViZHhpVGhqT3FhTll6enlMSXRmTmp0b01HVjhT?=
 =?utf-8?B?bVRKSVZybFp2cWd4elJ3REt4Tk9mcnpZc2tENGUwZWw4ck5WSGtVTTBTbEFU?=
 =?utf-8?B?SGRWL0hZVmRXMjJTWXVSV21neWFpYkF6KzRVeUtKeHNLU2hTRFNBdUFsMFdG?=
 =?utf-8?B?UGFBSE9YVVBlOHBjWVk1VVBFNTN6ZGxnRFIvbnAwRUM1RlBSQ1BpeUFMakVB?=
 =?utf-8?B?UndkQ1NEV2RwczZBc0FJaTVvVU5wd0FTd1ZoSUd6WjNTQzJwV3ZwTklXZW0v?=
 =?utf-8?B?T1hkOW9jdmI1US9ORHJZSllPZVJyRlRsbXJlNmdhVS80TTNiWXVzK1dNbEhU?=
 =?utf-8?B?d1dZZVNxRlN0TGFjYU50ai9FNmJvNDRuQy90RnNsdnNJbFp2TVN1K1pWRkta?=
 =?utf-8?B?T0k0dU9nLzArTEZ6d2NKRmhrRGZCM1d4NHBkeDU2ekVBZWpCamFuTlA5K09a?=
 =?utf-8?B?M3p5UWxOOWgraVlMQTBHQ1BmUm9XUFFJNW00a2VJNm9WYTYyVWpTMnNadlFn?=
 =?utf-8?B?L2hoZ1JxUXh2VG5EY014SGFFYUxmVm5zR3l3Z3NCOHdlT1VjblB1b29Ha3d4?=
 =?utf-8?B?aVUwT2swSkZQZkZsR2hXVUxFZUVONVpPSkVwd0R6STNsU25GUkEvaHZHWDR5?=
 =?utf-8?B?blR1SThYdXRIanFva0NmQVlPTGxSK2ZPbTUySDBOZDRrU3RsVE9MSXF5NkpD?=
 =?utf-8?B?QU1yTXhBR1htNC9HcFJnTlY1Qk1wd0dOZHdIRnN2dmtYWnJhblVZTmZKVFFS?=
 =?utf-8?B?M2h0cWxYbkF2R3dkY3I4R3BkV0ZoMGNsdFJjc1FvaDhQbWdNSlBmWmw1cUtt?=
 =?utf-8?B?R3B2b1l5RDNiL1F4NU5FK1dsbUQwQnE5c3JlcDh1WGJ2aiswNDlxNDd2dmRF?=
 =?utf-8?B?WFFyVVJIY21sYmQvZS9Tdm81OGJZTU4vdkd1M1kvdTF2QW94VXJaNjR3UFRn?=
 =?utf-8?B?WHZIbHEzcXUrY0hsZDVtTi9jTzhMUGJDNFJwZmFMRmNuNG9HbGY4WE9EL2Zo?=
 =?utf-8?B?ZjRWOFpMNDFJalk1RlRTMWdab1d2RnpoNElYajB6dmJGNGxIeUZpcm1sNFJp?=
 =?utf-8?B?ZGVWY2RJY0p3bWU5M29FM0YzaFdZazZ6YXRyUG9BenJzU1F6a042a28wK0sr?=
 =?utf-8?B?cnFaZERtQzl5bm9wWkFGWStmOXlHNHNCWHNneHZZMm9JMmtOeitYaTlrb2c2?=
 =?utf-8?B?MG1WeVJlemhsSnBwdG5saElZanJ2bkJ1dHB1bDl5bThUbkxCQUo5c1k5bllI?=
 =?utf-8?B?QWtHcDJGWnRMTmlhclZ2UEZJRmY3N1dQUStrdDhGMFFDakdIQWxCMUpQcXRR?=
 =?utf-8?B?S0dpeUkwSXRxYm5vSUR6eGVNRmJHd1NpSU5qMy9MdkFsL3JpUENmMnRCc1V3?=
 =?utf-8?B?OFQ1dHZsSjdXcUVuMzI0dHNZSWd5L2F4Q1oxVGtpWUw2SktISzRuWlIrSmNz?=
 =?utf-8?B?YmNCTy9abFl6VEVTWXJGZ3haajBxSGRjUTJ0dzQ3Mmd0Mzd1ZFh2aHlRZWhi?=
 =?utf-8?B?SWNuQ0JKYnNaejQyWTFSTkZuU2NhUGhNV3oxd2xWekh3QTd4L1Iwa25RTGpi?=
 =?utf-8?Q?mJJUQLokzBaaboX170h0QEXx8?=
X-OriginatorOrg: amd.com
X-MS-Exchange-CrossTenant-Network-Message-Id: e441ee85-4feb-404c-caff-08dc5f1dfb79
X-MS-Exchange-CrossTenant-AuthSource: BL1PR12MB5732.namprd12.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Apr 2024 20:35:55.9057
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 3dd8961f-e488-4e60-8e11-a82d994e183d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: JRQlpChL7l7C6tZ9JmwzJVySQgMb3bd4wNXNXCmmE3HNJbAAWvbMn4GCCh5tTC1pAxOgpRRWUYLt4xJJisF7mA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DS0PR12MB8786

On 4/17/24 06:46, Borislav Petkov wrote:
> On Mon, Mar 25, 2024 at 05:26:21PM -0500, Tom Lendacky wrote:
>> -static void enforce_vmpl0(void)
>> +static bool running_at_vmpl0(void *va)
> 
> Not too crazy about it: you're turning it into a function which runs in
> boolean context but takes a void *?!
> 
> And the boolean result is only a side-effect or what it does to the
> argument - modify its permissions. Which is weird and not really
> obvious.

Well, it doesn't really modify any permissions that matter. It tries to 
change the permission of a lesser privileged VMPL level. Since the 
kernel only runs at a single VMPL it would never be effected. The 
operation performed here is to update VMPL1 permission levels (which can 
only be done successfully at VMPL0) and return the result of the 
operation. A success implies running at VMPL0 and failure implies not 
running at VMPL0.

> 
> I'd prefer it if you made it into
> 
> static void vmpl0_modify_permissions(void *va)

I guess this confuses me, since it sounds like you're trying to modify 
the VMPL0 permissions, which you can't do. Maybe calling it 
modify_vmpl1_permissions() would be better. And a void return doesn't 
tell me whether it was successful and, therefore, whether the kernel is 
running at VMPL0.

Thanks,
Tom

> 
> which basically says, modify the permissions of @va in vmpl0, which is
> a lot closer to what the function does.
> 
> And then do
> 
> #define running_at_vmpl0(va)	vmpl0_modify_permissions((va))
> 
> because then through the indirection is at least clear how that "am
> I running at VMPL0?" check is being done.
> 
> And later, if we need other VMPLs, we can extend
> vmpl0_modify_permissions() and even do a more generic
> 
> vmpl_modify_permissions(unsigned int vmpl_level, void *va)
> 
> and so on and kill the silly macro.
> 
> Thx.
>