1/* Copyright 2013 The Chromium Authors. All rights reserved.
2 * Use of this source code is governed by a BSD-style license that can be
3 * found in the LICENSE file. */
4
5#include "nacl_io/kernel_intercept.h"
6#include "nacl_io/kernel_wrap.h"
7
8#if defined(PROVIDES_SOCKET_API) && !defined(__GLIBC__)
9
10int socket(int domain, int type, int protocol) {
11  return ki_socket(domain, type, protocol);
12}
13
14#endif  /* defined(PROVIDES_SOCKET_API) && !defined(__GLIBC__) */
15