WDC_WriteMem64

#define WDC_WriteMem64	(		addr,
			off,
			val
	)		*(volatile UINT64 *)(((UPTR)(addr) + (UPTR)(off))) = (val)

writes 8 byte (64 bits) to a specified memory address.

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

Definition at line 770 of file wdc_lib.h.