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.