1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/dstest_client.cc Tue Jan 19 23:26:49 2021 +0100
1.3 @@ -0,0 +1,59 @@
1.4 +/*
1.5 + * Test dataspace operations.
1.6 + *
1.7 + * Copyright (C) 2020, 2021 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 +#include <l4/re/env.h>
1.26 +#include <l4/sys/err.h>
1.27 +
1.28 +#include <stdio.h>
1.29 +#include <string.h>
1.30 +#include <stdlib.h>
1.31 +
1.32 +#include <ipc/mem_ipc.h>
1.33 +
1.34 +
1.35 +
1.36 +int main(void)
1.37 +{
1.38 + l4_cap_idx_t server = l4re_env_get_cap("server");
1.39 +
1.40 + /* Some memory to be mapped. */
1.41 +
1.42 + char *memory;
1.43 + unsigned long size = 40960;
1.44 + long err = ipc_attach_dataspace(server, size, (void **) &memory);
1.45 +
1.46 + if (err)
1.47 + {
1.48 + printf("Could not map memory: %s\n", l4sys_errtostr(err));
1.49 + return 1;
1.50 + }
1.51 +
1.52 + printf("Mapped memory at %p\n", memory);
1.53 +
1.54 + for (unsigned long offset = 0; offset < size; offset += 1024)
1.55 + {
1.56 + printf("10 bytes from %p...\n", (memory + offset));
1.57 + fwrite((memory + offset), sizeof(char), 10, stdout);
1.58 + fputs("\n", stdout);
1.59 + }
1.60 +
1.61 + return 0;
1.62 +}