the-darwin-kernel.h

Timestamp:

Feb 14, 2020 12:35:34 PM (5 years ago)

Author:

vboxsync

Message:

IPRT/r0drv-darwin: Some debug code. bugref:9466

File:

trunk/src/VBox/Runtime/r0drv/darwin/the-darwin-kernel.h

-              r82968
+              r83074
 extern PFNR0DARWINASTPENDING       g_pfnR0DarwinAstPending;
 extern PFNR0DARWINCPUINTERRUPT     g_pfnR0DarwinCpuInterrupt;
+#ifdef DEBUG /* Used once for debugging memory issues (see #9466). */
+typedef kern_return_t (*PFNR0DARWINVMFAULTEXTERNAL)(vm_map_t, vm_map_offset_t, vm_prot_t, boolean_t, int, pmap_t, vm_map_offset_t);
+extern PFNR0DARWINVMFAULTEXTERNAL  g_pfnR0DarwinVmFaultExternal;
+#endif
 /* threadpreempt-r0drv-darwin.cpp */

Note: See TracChangeset for help on using the changeset viewer.