GpioRequest

Request GPIO mask to be read

source file

# Request GPIO mask to be read

uint64 timestamp			# time since system start (microseconds)
uint32 device_id			# Device id