VOID
WRITE_REGISTER_ULONG(
IN PULONG Register,
IN ULONG Value
);
WRITE_REGISTER_ULONG writes a ULONG value to the specified address.
Callers of WRITE_REGISTER_ULONG can be running at any IRQL, assuming the Register is resident, mapped device memory.