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