Jungo WinDriver  
Official Documentation

◆ WDC_ReadAddr32()

DWORD DLLCALLCONV WDC_ReadAddr32 ( _In_ WDC_DEVICE_HANDLE  hDev,
_In_ DWORD  dwAddrSpace,
_In_ KPTR  dwOffset,
_Outptr_ UINT32 pdwVal 
)

reads 4 byte (32 bits) from a specified memory or I/O address.

Parameters
[in]hDevHandle to a WDC device, returned by WDC_xxxDeviceOpen()
[in]dwAddrSpaceThe memory or I/O address space to read from
[in]dwOffsetThe offset from the beginning of the specified address space (dwAddrSpace) to read from
[out]pdwValPointer to a buffer to be filled with the data that is read from the specified address
Returns
Returns WD_STATUS_SUCCESS (0) on success, or an appropriate error code otherwise