Jungo WinDriver  
Official Documentation

◆ WDC_ReadMem32

#define WDC_ReadMem32 (   addr,
  off 
)     *(volatile UINT32 *)((UPTR)(addr) + (UPTR)(off))

reads 4 byte (32 bits) from a specified memory address.

The address is read directly in the calling context (user mode / kernel mode).

Definition at line 739 of file wdc_lib.h.