SUPDrv-freebsd.c revision 20c2dadcddf39ba496c633f88e9a1317c754c965
45565249f149f7562fc6ee85be7ca3a3706e32e6vboxsync * VBoxDrv - The VirtualBox Support Driver - FreeBSD specifics.
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * Copyright (c) 2007 knut st. osmundsen <bird-src-spam@anduin.net>
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * Permission is hereby granted, free of charge, to any person
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * obtaining a copy of this software and associated documentation
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * files (the "Software"), to deal in the Software without
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * restriction, including without limitation the rights to use,
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * copy, modify, merge, publish, distribute, sublicense, and/or sell
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * copies of the Software, and to permit persons to whom the
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * Software is furnished to do so, subject to the following
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * conditions:
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * The above copyright notice and this permission notice shall be
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * included in all copies or substantial portions of the Software.
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * OTHER DEALINGS IN THE SOFTWARE.
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync/*******************************************************************************
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync* Header Files *
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync*******************************************************************************/
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync/* Deal with conflicts first. */
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync/*******************************************************************************
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync* Internal Functions *
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync*******************************************************************************/
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsyncstatic int VBoxDrvFreeBSDModuleEvent(struct module *pMod, int enmEventType, void *pvArg);
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsyncstatic int VBoxDrvFreeBSDLoad(void);
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsyncstatic int VBoxDrvFreeBSDUnload(void);
84eeabfd29e718854e00e795879dab6ce61469e5vboxsyncstatic int VBoxDrvFreeBSDIOCtlSlow(PSUPDRVSESSION pSession, u_long ulCmd, caddr_t pvData, struct thread *pTd);
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync/*******************************************************************************
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync* Global Variables *
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync*******************************************************************************/
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * Module info structure used by the kernel.
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync/** Declare the module as a pseudo device. */
84eeabfd29e718854e00e795879dab6ce61469e5vboxsyncDECLARE_MODULE(vboxdrv, g_VBoxDrvFreeBSDModule, SI_SUB_PSEUDO, SI_ORDER_ANY);
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * The /dev/vboxdrv character device entry points.
59e8feed5ffd306be4de820c67f766591aaa9b69vboxsync/** The /dev/vboxdrv character device. */
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync * The /dev/vboxdrvu character device entry points.
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync/** The /dev/vboxdrvu character device. */
a93da6c0946d71f517dc6d64a633704cb99068b8vboxsync/** Reference counter. */
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync/** The device extention. */
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * Module event handler.
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * @param pMod The module structure.
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * @param enmEventType The event type (modeventtype_t).
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * @param pvArg Module argument. NULL.
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * @return 0 on success, errno.h status code on failure.
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsyncstatic int VBoxDrvFreeBSDModuleEvent(struct module *pMod, int enmEventType, void *pvArg)
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsyncstatic int VBoxDrvFreeBSDLoad(void)
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * Initialize the runtime.
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * Initialize the device extension.
ec382ee8bf6c277150eaad532778850e88273741vboxsync rc = supdrvInitDevExt(&g_VBoxDrvFreeBSDDevExt, sizeof(SUPDRVSESSION));
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync * Configure character devices. Add symbolic links for compatibility.
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync g_pVBoxDrvFreeBSDChrDevSys = make_dev(&g_VBoxDrvFreeBSDChrDevSwSys, 0, UID_ROOT, GID_WHEEL, VBOXDRV_PERM, "vboxdrv");
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync g_pVBoxDrvFreeBSDChrDevUsr = make_dev(&g_VBoxDrvFreeBSDChrDevSwUsr, 1, UID_ROOT, GID_WHEEL, 0666, "vboxdrvu");
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync printf("vboxdrv: supdrvInitDevExt failed, rc=%d\n", rc);
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsyncstatic int VBoxDrvFreeBSDUnload(void)
bb73206f5ad484c56a70984ee9897e9ffee18b8bvboxsync * Reserve what we did in VBoxDrvFreeBSDInit.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync memset(&g_VBoxDrvFreeBSDDevExt, 0, sizeof(g_VBoxDrvFreeBSDDevExt));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @returns 0 on success, errno on failure.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * EBUSY if the device is used by someone else.
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync * @param pDev The device node.
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync * @param fOpen The open flags.
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync * @param pTd The thread.
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync * @param iDevType ???
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsyncstatic int vboxdrvFreeBSDOpenCommon(struct cdev *pDev, int fOpen, int iDevtype, struct thread *pTd, bool fUnrestricted)
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Let's be a bit picky about the flags...
36ebaddfec017eee7e82ee466c25de002cdc4231vboxsync Log(("VBoxDrvFreeBSDOpen: fOpen=%#x expected %#x\n", fOpen, O_RDWR));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Create a new session.
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync rc = supdrvCreateSession(&g_VBoxDrvFreeBSDDevExt, true /* fUser */, fUnrestricted, &pSession);
1c2c968fd241148110002d75b2c0fdeddc211e14vboxsync /** @todo get (r)uid and (r)gid.
3a5d16e1911830b585d10278ea2cdbb408e261e6vboxsync pSession->Uid = stuff;
3a5d16e1911830b585d10278ea2cdbb408e261e6vboxsync pSession->Gid = stuff; */
59e8feed5ffd306be4de820c67f766591aaa9b69vboxsync Log(("VBoxDrvFreeBSDOpen: pSession=%p\n", pSession));
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync/** For vboxdrv. */
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsyncstatic int VBoxDrvFreeBSDOpenSys(struct cdev *pDev, int fOpen, int iDevtype, struct thread *pTd)
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync return vboxdrvFreeBSDOpenCommon(pDev, fOpen, iDevtype, pTd, true);
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync/** For vboxdrvu. */
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsyncstatic int VBoxDrvFreeBSDOpenUsr(struct cdev *pDev, int fOpen, int iDevtype, struct thread *pTd)
7df18da2bb5ae3a14ee50837d5eceb4212b0692dvboxsync return vboxdrvFreeBSDOpenCommon(pDev, fOpen, iDevtype, pTd, false);
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Close a file device previously opened by VBoxDrvFreeBSDOpen
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @returns 0 on success.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param pDev The device.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param fFile The file descriptor flags.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param DevType The device type (CHR.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param pTd The calling thread.
59e8feed5ffd306be4de820c67f766591aaa9b69vboxsync Log(("VBoxDrvFreeBSDDtr: pSession=%p\n", pSession));
59e8feed5ffd306be4de820c67f766591aaa9b69vboxsync * Close the session.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * I/O control request.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @returns depends...
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param pDev The device.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param ulCmd The command.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param pvData Pointer to the data.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param fFile The file descriptor flags.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param pTd The calling thread.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsyncstatic int VBoxDrvFreeBSDIOCtl(struct cdev *pDev, u_long ulCmd, caddr_t pvData, int fFile, struct thread *pTd)
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Deal with the fast ioctl path first.
0dd363d45ea01de87d37118985064da6e0f86f36vboxsync return supdrvIOCtlFast(ulCmd, *(uint32_t *)pvData, &g_VBoxDrvFreeBSDDevExt, pSession);
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync return VBoxDrvFreeBSDIOCtlSlow(pSession, ulCmd, pvData, pTd);
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Deal with the 'slow' I/O control requests.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @returns 0 on success, appropriate errno on failure.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param pSession The session.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param ulCmd The command.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param pvData The request data.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * @param pTd The calling thread.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsyncstatic int VBoxDrvFreeBSDIOCtlSlow(PSUPDRVSESSION pSession, u_long ulCmd, caddr_t pvData, struct thread *pTd)
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Buffered request?
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: cbReq=%#x < %#x; ulCmd=%#lx\n", cbReq, (int)sizeof(*pHdr), ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync if (RT_UNLIKELY((pHdr->fFlags & SUPREQHDR_FLAGS_MAGIC_MASK) != SUPREQHDR_FLAGS_MAGIC))
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: bad magic fFlags=%#x; ulCmd=%#lx\n", pHdr->fFlags, ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync if (RT_UNLIKELY( RT_MAX(pHdr->cbIn, pHdr->cbOut) != cbReq
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: max(%#x,%#x) != %#x; ulCmd=%#lx\n", pHdr->cbIn, pHdr->cbOut, cbReq, ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Big unbuffered request?
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync else if ((IOC_DIRMASK & ulCmd) == IOC_VOID && !cbReq)
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Read the header, validate it and figure out how much that needs to be buffered.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: copyin(%p,Hdr,) -> %#x; ulCmd=%#lx\n", pvUser, rc, ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync if (RT_UNLIKELY((Hdr.fFlags & SUPREQHDR_FLAGS_MAGIC_MASK) != SUPREQHDR_FLAGS_MAGIC))
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: bad magic fFlags=%#x; ulCmd=%#lx\n", Hdr.fFlags, ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: max(%#x,%#x); ulCmd=%#lx\n", Hdr.cbIn, Hdr.cbOut, ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Allocate buffer and copy in the data.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: failed to allocate buffer of %d bytes; ulCmd=%#lx\n", cbReq, ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: copyin(%p,%p,%#x) -> %#x; ulCmd=%#lx\n",
20c2dadcddf39ba496c633f88e9a1317c754c965vboxsync RT_BZERO((uint8_t *)pHdr + Hdr.cbIn, cbReq - Hdr.cbIn);
36ebaddfec017eee7e82ee466c25de002cdc4231vboxsync Log(("VBoxDrvFreeBSDIOCtlSlow: huh? cbReq=%#x ulCmd=%#lx\n", cbReq, ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * Process the IOCtl.
cfa7d08dfc1259a88f151c4a65b7dddba9ac3d91vboxsync int rc = supdrvIOCtl(ulCmd, &g_VBoxDrvFreeBSDDevExt, pSession, pHdr, cbReq);
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * If unbuffered, copy back the result before returning.
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: too much output! %#x > %#x; uCmd=%#lx!\n", cbOut, cbReq, ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync OSDBGPRINT(("VBoxDrvFreeBSDIOCtlSlow: copyout(%p,%p,%#x) -> %d; uCmd=%#lx!\n", pHdr, pvUser, cbOut, rc, ulCmd));
36ebaddfec017eee7e82ee466c25de002cdc4231vboxsync Log(("VBoxDrvFreeBSDIOCtlSlow: returns %d / %d ulCmd=%lx\n", 0, pHdr->rc, ulCmd));
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync /* cleanup */
84eeabfd29e718854e00e795879dab6ce61469e5vboxsync * The request failed, just clean up.
36ebaddfec017eee7e82ee466c25de002cdc4231vboxsync Log(("VBoxDrvFreeBSDIOCtlSlow: ulCmd=%lx pData=%p failed, rc=%d\n", ulCmd, pvData, rc));
3393c62e395aa8388303d99f765a219efc289158vboxsync * The SUPDRV IDC entry point.
3393c62e395aa8388303d99f765a219efc289158vboxsync * @returns VBox status code, see supdrvIDC.
3393c62e395aa8388303d99f765a219efc289158vboxsync * @param iReq The request code.
3393c62e395aa8388303d99f765a219efc289158vboxsync * @param pReq The request.
3393c62e395aa8388303d99f765a219efc289158vboxsyncint VBOXCALL SUPDrvFreeBSDIDC(uint32_t uReq, PSUPDRVIDCREQHDR pReq)
3393c62e395aa8388303d99f765a219efc289158vboxsync * Some quick validations.
cea5568645ca17479265436cfd5ba010ddd106d9vboxsync if (RT_UNLIKELY(pSession->pDevExt != &g_VBoxDrvFreeBSDDevExt))
3393c62e395aa8388303d99f765a219efc289158vboxsync else if (RT_UNLIKELY(uReq != SUPDRV_IDC_REQ_CONNECT))
3393c62e395aa8388303d99f765a219efc289158vboxsync * Do the job.
cea5568645ca17479265436cfd5ba010ddd106d9vboxsync return supdrvIDC(uReq, &g_VBoxDrvFreeBSDDevExt, pSession, pReq);
13493ab7596e827b8d0caab2c89e635dd65f78f9vboxsyncvoid VBOXCALL supdrvOSCleanupSession(PSUPDRVDEVEXT pDevExt, PSUPDRVSESSION pSession)
13493ab7596e827b8d0caab2c89e635dd65f78f9vboxsyncvoid VBOXCALL supdrvOSSessionHashTabInserted(PSUPDRVDEVEXT pDevExt, PSUPDRVSESSION pSession, void *pvUser)
13493ab7596e827b8d0caab2c89e635dd65f78f9vboxsyncvoid VBOXCALL supdrvOSSessionHashTabRemoved(PSUPDRVDEVEXT pDevExt, PSUPDRVSESSION pSession, void *pvUser)
0a769a6be37f526faeabe88f77422ee6291afa37vboxsyncvoid VBOXCALL supdrvOSObjInitCreator(PSUPDRVOBJ pObj, PSUPDRVSESSION pSession)
0a769a6be37f526faeabe88f77422ee6291afa37vboxsyncbool VBOXCALL supdrvOSObjCanAccess(PSUPDRVOBJ pObj, PSUPDRVSESSION pSession, const char *pszObjName, int *prc)
0a769a6be37f526faeabe88f77422ee6291afa37vboxsync return false;
71b548af8b5b8adb865702432045250bc56ad7e5vboxsyncbool VBOXCALL supdrvOSGetForcedAsyncTscMode(PSUPDRVDEVEXT pDevExt)
71b548af8b5b8adb865702432045250bc56ad7e5vboxsync return false;
c5019986bed37ec649721e6f7bc2117386fa5ac3vboxsyncint VBOXCALL supdrvOSLdrOpen(PSUPDRVDEVEXT pDevExt, PSUPDRVLDRIMAGE pImage, const char *pszFilename)
1afab63d543de8cfef1e12d16d1e98fde3b8b5a1vboxsyncvoid VBOXCALL supdrvOSLdrNotifyOpened(PSUPDRVDEVEXT pDevExt, PSUPDRVLDRIMAGE pImage)
c5019986bed37ec649721e6f7bc2117386fa5ac3vboxsyncint VBOXCALL supdrvOSLdrValidatePointer(PSUPDRVDEVEXT pDevExt, PSUPDRVLDRIMAGE pImage, void *pv, const uint8_t *pbImageBits)
c5019986bed37ec649721e6f7bc2117386fa5ac3vboxsync NOREF(pDevExt); NOREF(pImage); NOREF(pv); NOREF(pbImageBits);
cc4a983b4e678d543bcf63507184d6c64d2bc729vboxsyncint VBOXCALL supdrvOSLdrLoad(PSUPDRVDEVEXT pDevExt, PSUPDRVLDRIMAGE pImage, const uint8_t *pbImageBits, PSUPLDRLOAD pReq)
cc4a983b4e678d543bcf63507184d6c64d2bc729vboxsync NOREF(pDevExt); NOREF(pImage); NOREF(pbImageBits); NOREF(pReq);
c5019986bed37ec649721e6f7bc2117386fa5ac3vboxsyncvoid VBOXCALL supdrvOSLdrUnload(PSUPDRVDEVEXT pDevExt, PSUPDRVLDRIMAGE pImage)
98b3fe217f35498ace90d9b63a8298c0b6353c2cvboxsyncint VBOXCALL supdrvOSMsrProberRead(uint32_t uMsr, RTCPUID idCpu, uint64_t *puValue)
98b3fe217f35498ace90d9b63a8298c0b6353c2cvboxsyncint VBOXCALL supdrvOSMsrProberWrite(uint32_t uMsr, RTCPUID idCpu, uint64_t uValue)
98b3fe217f35498ace90d9b63a8298c0b6353c2cvboxsyncint VBOXCALL supdrvOSMsrProberModify(RTCPUID idCpu, PSUPMSRPROBER pReq)
98b3fe217f35498ace90d9b63a8298c0b6353c2cvboxsync#endif /* SUPDRV_WITH_MSR_PROBER */
0a769a6be37f526faeabe88f77422ee6291afa37vboxsyncSUPR0DECL(int) SUPR0Printf(const char *pszFormat, ...)
0a769a6be37f526faeabe88f77422ee6291afa37vboxsync cch = RTStrPrintfV(szMsg, sizeof(szMsg), pszFormat, va);
c03ad2650049d583f98f1ecd61a7a9725792afc5vboxsync * Returns configuration flags of the host kernel.