openvmm
openvmm copied to clipboard
cvm guest vsm: use ProcessorSynic::post_message when sending VTL 1 intercepts
When sending VTL 1 an intercept (as part of e.g. cr access, etc), investigate using ProcessorSynic::post_message directly.