VBoxCrHgsmi.h revision 4e664340a06cc85b77cd1e6bddcd5b2da558ddd5