Jungo WinDriver  
Official Documentation

◆ WDC_WriteMem32

#define WDC_WriteMem32 (   addr,
  off,
  val 
)     *(volatile UINT32 *)(((UPTR)(addr) + (UPTR)(off))) = (val)

writes 4 byte (32 bits) to a specified memory address.

The address is written to directly in the calling context (user mode / kernel mode)

Definition at line 764 of file wdc_lib.h.