denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

vbox5: fix typo

Browse Source
This commit is contained in:
Christian Helmuth
2021-02-22 14:49:03 +01:00
parent dd92ab126b
commit 7a3dc68f34
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/src/virtualbox5/pdm.cc
View File

@@ -90,7 +90,7 @@ int PDMR3LdrGetSymbolR3(PVM pVM, const char *pszModule, const char *pszSymbol,
*
* In this case, it is expected to return the pointer to the symbol
* called 'VBoxDriversRegister', which is normally contained in the
* dynamically loaded VBoxDD module. However, we link the driver
* dynamically loaded VBoxDD module. However, we link the drivers
* statically to the binary. So we return the local pointer.
*/
if (Genode::strcmp(pszModule, "VBoxDD") == 0) {