On 2/11/22 18:11, Sean Christopherson wrote:
+ /* Process the interrupt with a vmexit. */
Double spaces at the end. But I would prefer we omit the comment entirely,
there is no guarantee the vCPU is in the guest or even running.
Sure, or perhaps "process the interrupt in inject_pending_event".
Regarding the two spaces, it used to a pretty strict rule in the US with
typewriters. It helps readability of monospaced fonts
(https://www.cultofpedagogy.com/two-spaces-after-period/), and code is
mostly monospaced... But well, the title of the article says it all.
Paolo
