2 * Copyright (c) 2016 Jakub Jermar
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36 #include "../tester.h"
38 #define TEST_FILE "/tmp/testfile"
40 const char text
[] = "Hello world!";
44 static void *create_paged_area(size_t size
)
49 TPRINTF("Creating temporary file...\n");
51 rc
= vfs_lookup_open(TEST_FILE
, WALK_REGULAR
| WALK_MAY_CREATE
,
52 MODE_READ
| MODE_WRITE
, &fd
);
55 (void) vfs_unlink_path(TEST_FILE
);
57 rc
= vfs_write(fd
, (aoff64_t
[]) { 0 }, text
, sizeof(text
), &nwr
);
63 async_sess_t
*vfs_pager_sess
;
65 TPRINTF("Connecting to VFS pager...\n");
67 vfs_pager_sess
= service_connect_blocking(SERVICE_VFS
, INTERFACE_PAGER
,
70 if (!vfs_pager_sess
) {
75 TPRINTF("Creating AS area...\n");
77 void *result
= async_as_area_create(AS_AREA_ANY
, size
,
78 AS_AREA_READ
| AS_AREA_CACHEABLE
, vfs_pager_sess
, fd
, 0, 0);
79 if (result
== AS_MAP_FAILED
) {
87 static void touch_area(void *area
, size_t size
)
89 TPRINTF("Touching (faulting-in) AS area...\n");
91 volatile char *ptr
= (char *) area
;
98 const char *test_pager1(void)
100 size_t buffer_len
= PAGE_SIZE
;
101 void *buffer
= create_paged_area(buffer_len
);
103 return "Cannot allocate memory";
105 touch_area(buffer
, buffer_len
);
107 as_area_destroy(buffer
);