2fc2c96c3b1a83fce88438c4104a9fb7c1a0ef03 25048 |
|
27-Nov-2009 |
vboxsync |
DevFwCommon(,DevPcBios,DevEFI): nitpicking - made the prefix correspond to the filename, public interfaces uses a capitalize prefix to highlight that they are public, don't use parameters with defaults. Fixed -Wshadow warning. |