VOID
WRITE_PORT_UCHAR(
IN PUCHAR Port,
IN UCHAR Value
);
WRITE_PORT_UCHAR writes a byte to the specified port address.
Callers of WRITE_PORT_UCHAR can be running at any IRQL, assuming the Port is resident, mapped device memory.