1/* 2 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: BSD-2-Clause 5 */ 6 7#ifndef _SOCKET_ 8#define _SOCKET_ 9 10#include <platsupport/sync/spinlock.h> 11 12typedef struct { 13 sync_spinlock_t lock; 14 int full; 15 char data[100]; 16} socket_t; 17 18#endif 19