Changeset 74242 in vbox for trunk/src/VBox/VMM

Timestamp:

Sep 13, 2018 2:13:41 PM (6 years ago)

Author:

vboxsync

Message:

VMM: dtrace fixes

Location:

trunk/src/VBox/VMM

Files:

• Makefile.kmk (modified) (1 diff)
• dtrace/lib/vbox-types.d (modified) (2 diffs)

trunk/src/VBox/VMM/Makefile.kmk

@@ -862 +862 @@
                 -D RT_C_DECLS_BEGIN= \
                 -D RT_C_DECLS_END= \
+                -D RT_GCC_EXTENSION= \
                 -D 'RCPTRTYPE(a_Type)=RTRCPTR' \
                 -D 'R3PTRTYPE(a_Type)=RTR3PTR' \

trunk/src/VBox/VMM/dtrace/lib/vbox-types.d

@@ -23 +23 @@
 #pragma D depends_on library vbox-arch-types.d
 
+typedef uint64_t                RTGCPHYS;
+typedef uint64_t                RTHCPHYS;
 typedef uint16_t                RTSEL;
 typedef uint32_t                RTRCPTR;
@@ -40 +42 @@
 typedef struct UVM             *PUVM;
 typedef struct CPUMCTXCORE     *PCPUMCTXCORE;
+typedef struct SVMVMCB         *PSVMVMCB;
+typedef uint32_t                VMXVDIAG;
+typedef struct VMXVVMCS        *PVMXVVMCS;
 
 typedef struct VBOXGDTR