[PATCH v4 17/19] vbox: change type to void vboxDumpDisplay()