/*
 * \brief  Dummy stubs needed by 'PDMAll.cpp'
 * \author Norman Feske
 * \date   2013-08-25
 */

#ifndef _DTRACE__VBOXVMM_H_
#define _DTRACE__VBOXVMM_H_

#define VBOXVMM_PDM_IRQ_GET(...)  do { } while (0)
#define VBOXVMM_PDM_IRQ_HIGH(...) do { } while (0)
#define VBOXVMM_PDM_IRQ_LOW(...)  do { } while (0)
#define VBOXVMM_PDM_IRQ_HILO(...) do { } while (0)

#endif /* _DTRACE__VBOXVMM_H_ */
