VBoxDbgBase.cpp revision 9463a771c826d5b93c993eb36baaabf59be55f5e