Changeset 40921 in vbox

Timestamp:

Apr 14, 2012 11:53:10 AM (13 years ago)

Author:

vboxsync

Message:

pretty

File:

• trunk/src/VBox/VMM/VBoxVMM.d (modified) (1 diff)

trunk/src/VBox/VMM/VBoxVMM.d

@@ -45 +45 @@
     /*^^VMM-ALT-TP: "%d", (a_rc) */
 
-    probe pdm__irq__get(       struct VMCPU *a_pVCpu, uint32_t a_uTag, uint32_t a_idSource, uint32_t a_iIrq);
-    probe pdm__irq__high(       struct VMCPU *a_pVCpu, uint32_t a_uTag, uint32_t a_idSource);
-    probe pdm__irq__low(     struct VMCPU *a_pVCpu, uint32_t a_uTag, uint32_t a_idSource);
+    probe pdm__irq__get( struct VMCPU *a_pVCpu, uint32_t a_uTag, uint32_t a_idSource, uint32_t a_iIrq);
+    probe pdm__irq__high(struct VMCPU *a_pVCpu, uint32_t a_uTag, uint32_t a_idSource);
+    probe pdm__irq__low( struct VMCPU *a_pVCpu, uint32_t a_uTag, uint32_t a_idSource);
     probe pdm__irq__hilo(struct VMCPU *a_pVCpu, uint32_t a_uTag, uint32_t a_idSource);