VBoxCrHgsmi.h revision 384478d3896257fbce9ceb8c01e74040b969e6d7