1.1 --- a/resource_server.h Fri Apr 02 01:27:50 2021 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,76 +0,0 @@
1.4 -/*
1.5 - * Common resource server functions.
1.6 - *
1.7 - * Copyright (C) 2018, 2019, 2020 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 "resource.h"
1.28 -#include <ipc/server.h>
1.29 -
1.30 -
1.31 -
1.32 -/* Convenience abstraction for blocking servers. */
1.33 -
1.34 -class ResourceServer
1.35 -{
1.36 -protected:
1.37 - Resource *_resource;
1.38 - ipc_server_config_type *_config;
1.39 -
1.40 -public:
1.41 - explicit ResourceServer(Resource *resource)
1.42 - : _resource(resource)
1.43 - {
1.44 - _config = new ipc_server_config_type;
1.45 - ipc_server_init_config(_config);
1.46 - }
1.47 -
1.48 - /* Access to configuration. */
1.49 -
1.50 - ipc_server_config_type *config()
1.51 - { return _config; }
1.52 -
1.53 - /* Server IPC gate allocation. */
1.54 -
1.55 - long bind(const char *name);
1.56 -
1.57 - /* Server initiation. */
1.58 -
1.59 - long start();
1.60 -
1.61 - long start_thread();
1.62 -};
1.63 -
1.64 -
1.65 -
1.66 -/* Server initialisation. */
1.67 -
1.68 -void resource_init_config(ipc_server_config_type *config, Resource *resource);
1.69 -
1.70 -void resource_set_config_threaded(ipc_server_config_type *config,
1.71 - l4_cap_idx_t thread, int new_thread);
1.72 -
1.73 -/* Server initiation. */
1.74 -
1.75 -long resource_start_config(ipc_server_config_type *config, Resource *resource);
1.76 -
1.77 -/* Server finalisation. */
1.78 -
1.79 -void resource_thread_finaliser(ipc_server_config_type *config);