# Request GPIO mask to be read
uint64 timestamp # time since system start (microseconds)
uint32 device_id # Device id