Index: /trunk/src/VBox/HostDrivers/Support/SUPDrv.c
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/SUPDrv.c	(revision 37065)
+++ /trunk/src/VBox/HostDrivers/Support/SUPDrv.c	(revision 37066)
@@ -4999,5 +4999,5 @@
  * @returns Index of the CPU in the cache set.
  */
-static inline uint32_t supdrvGipCpuIndexFromCpuId(PSUPGLOBALINFOPAGE pGip, RTCPUID idCpu)
+DECLINLINE(uint32_t) supdrvGipCpuIndexFromCpuId(PSUPGLOBALINFOPAGE pGip, RTCPUID idCpu)
 {
     uint32_t i = 0;