1.1 --- a/libipc/include/ipc/direct.h Fri Jan 19 23:58:54 2024 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,40 +0,0 @@
1.4 -/*
1.5 - * Interprocess communication operations.
1.6 - *
1.7 - * Copyright (C) 2018, 2019 Paul Boddie <paul@boddie.org.uk>
1.8 - *
1.9 - * This program is free software; you can redistribute it and/or
1.10 - * modify it under the terms of the GNU General Public License as
1.11 - * published by the Free Software Foundation; either version 2 of
1.12 - * the License, or (at your option) any later version.
1.13 - *
1.14 - * This program is distributed in the hope that it will be useful,
1.15 - * but WITHOUT ANY WARRANTY; without even the implied warranty of
1.16 - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
1.17 - * GNU General Public License for more details.
1.18 - *
1.19 - * You should have received a copy of the GNU General Public License
1.20 - * along with this program; if not, write to the Free Software
1.21 - * Foundation, Inc., 51 Franklin Street, Fifth Floor,
1.22 - * Boston, MA 02110-1301, USA
1.23 - */
1.24 -
1.25 -#pragma once
1.26 -
1.27 -#include <l4/re/c/dataspace.h>
1.28 -#include <l4/sys/ipc.h>
1.29 -#include <l4/sys/types.h>
1.30 -
1.31 -
1.32 -
1.33 -EXTERN_C_BEGIN
1.34 -
1.35 -/* Direct operations. */
1.36 -
1.37 -long ipc_expect_capabilities(int number);
1.38 -long ipc_expect_capability(int item);
1.39 -void ipc_export_capability(l4_msgtag_t tag, int item, l4_cap_idx_t ref);
1.40 -long ipc_import_capability(l4_msgtag_t tag, int item, l4_cap_idx_t *ref);
1.41 -long ipc_import_dataspace(l4_msgtag_t tag, int item, l4re_ds_t *mem, l4_addr_t *addr);
1.42 -
1.43 -EXTERN_C_END