vboxpci: make vboxPciOsDevInit() a bit less chatty.

vboxpci: convert some more printk() to vbpci_printk()

Define a printk() wrapper that prints pci device id if device is available. Can't use dev_printk() since device is bound to stub and also since older kernels don't handle NULL device pointer. Use the new wrapper in few places, with more clean up to come.

One semicolon is enough.

Condition ? 1 : 0 is pleonastic. While here, declare the flag bool.

vboxpci: current code never calls unmap method, so we end up leaking mappings and keeping resources busy. To hack around this, map resources only once and return existing mapping on repeated requests, free them at once in vboxPciOsDevDeinit(). This makes it possible for the host driver to take back control of the device after VM terminates.

HostDrivers: Minor nit. Coding style.

Linux: more CONFIG_UIDGID_STRICT_TYPE_CHECKS fixes

VBoxPci: Fedora 2.6.41 exception

Linux 3.2-rc1 compile fixes

VBoxPci/linux: adapt to new location/name of header file in Linux 3.1. Contributed by Larry Finger.

HostDrivers/VBoxPci: less noise

fix OSE