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.