Re: [PATCH 4/7] x86/msr-index: Define IA32_PASID MSR

From: Thomas Gleixner
Date: Sun Apr 26 2020 - 07:22:19 EST


Fenghua Yu <fenghua.yu@xxxxxxxxx> writes:

> The IA32_PASID MSR (0xd93) contains the Process Address Space Identifier
> (PASID), a 20-bit value. Bit 31 must be set to indicate the value
> programmed in the MSR is valid. Hardware uses PASID to identify which
> process submits the work and direct responses to the right process.

No. It does not identify the process. It identifies the process' address
space as the name says.

Please provide coherent and precise information.

Thanks,

tglx