On Mon, Jan 12, 2026 at 11:59:22AM +0000, Fuad Tabba wrote:

On Tue, 23 Dec 2025 at 01:22, Mark Brown [off-list ref] wrote:

quoted

+       /*
+        * We block SME priorities so SMPRIMAP_EL2 is RES0, however we
+        * do not have traps to block access so the guest might have
+        * updated the state, overwrite anything there.

nit: overwrite -> overwriting

quoted

+        */
+       __vcpu_assign_sys_reg(vcpu, SMPRIMAP_EL2, 0);
 }

My original is correct here - the action we are taking is that we will
overwrite the value.  To use overwriting we'd need something more like
"handle this by overwriting anything there".