Le 24/11/2025 à 13:36, Oleksii Kurochko a écrit : > diff --git a/docs/misc/xen-command-line.pandoc > b/docs/misc/xen-command-line.pandoc > index 34004ce282..6c4bfa3603 100644 > --- a/docs/misc/xen-command-line.pandoc > +++ b/docs/misc/xen-command-line.pandoc > @@ -3096,3 +3096,12 @@ the hypervisor was compiled with `CONFIG_XSM` enabled. > * `silo`: this will deny any unmediated communication channels between > unprivileged VMs. To choose this, the separated option in kconfig must > also > be enabled. > + > +### vmid (RISC-V) > +> `= <boolean>` > + > +> Default: `true` > + > +Permit Xen to use Virtual Machine Identifiers. This is an optimisation which > +tags the TLB entries with an ID per vcpu. This allows for guest TLB flushes > +to be performed without the overhead of a complete TLB flush.
Should we regroup all asid/vpid/vmid (which are pretty much the same thing with different names and for different arch) under a single command-line option ? Teddy -- Teddy Astie | Vates XCP-ng Developer XCP-ng & Xen Orchestra - Vates solutions web: https://vates.tech
