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