WDC_ReadMem64

#define WDC_ReadMem64	(		addr,
			off
	)		*(volatile UINT64 *)((UPTR)(addr) + (UPTR)(off))

reads 8 byte (64 bits) from a specified memory address.

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

Definition at line 745 of file wdc_lib.h.