def write_io_port(self, io_port, value, size): return edk2.writeio(io_port, size, value)
def write_io_port( self, io_port, value, size ): return edk2.writeio( io_port, size, value )