Getting SharC to check some locking
[akaros.git] / kern / src / kfs.c
1 /*
2  * Copyright (c) 2009 The Regents of the University of California
3  * Barret Rhoden <brho@cs.berkeley.edu>
4  * See LICENSE for details.
5  */
6
7 #ifdef __SHARC__
8 #pragma nosharc
9 #endif
10
11 #include <kfs.h>
12 #include <string.h>
13 #include <assert.h>
14 #include <ros/error.h>
15
16 #define DECL_PROG(x) \
17     extern uint8_t (COUNT(sizeof(size_t)) _binary_obj_user_apps_##x##_size)[],\
18         (COUNT(_binary_obj_user_apps_##x##_size)_binary_obj_user_apps_##x##_start)[];
19
20 #define KFS_ENTRY(x) {#x, _binary_obj_user_apps_##x##_start, (size_t) _binary_obj_user_apps_##x##_size},
21
22 /*
23  * Hardcode the files included in the KFS.  This needs to be in sync with the
24  * userapps in kern/src/Makefrag.
25  * Make sure to declare it, and add an entry.  Keep MAX_KFS_FILES big enough too
26  */
27 DECL_PROG(roslib_proctests);
28 DECL_PROG(roslib_fptest);
29 DECL_PROG(roslib_null);
30 DECL_PROG(roslib_spawn);
31 DECL_PROG(roslib_hello);
32 DECL_PROG(roslib_measurements);
33 DECL_PROG(parlib_channel_test_client);
34 DECL_PROG(parlib_channel_test_server);
35 DECL_PROG(parlib_matrix);
36 DECL_PROG(parlib_hello);
37
38 struct kfs_entry kfs[MAX_KFS_FILES] = {
39         KFS_ENTRY(roslib_proctests)
40         KFS_ENTRY(roslib_fptest)
41         KFS_ENTRY(roslib_null)
42         KFS_ENTRY(roslib_spawn)
43         KFS_ENTRY(roslib_hello)
44         KFS_ENTRY(roslib_measurements)
45         KFS_ENTRY(parlib_channel_test_client)
46         KFS_ENTRY(parlib_channel_test_server)
47         KFS_ENTRY(parlib_matrix)
48         KFS_ENTRY(parlib_hello)
49 };
50
51 ssize_t kfs_lookup_path(char* path)
52 {
53         for (int i = 0; i < MAX_KFS_FILES; i++)
54                 // need to think about how to copy-in something of unknown length
55                 if (!strncmp(kfs[i].name, path, strlen(path)))
56                         return i;
57         return -EINVAL;
58 }
59
60 /*
61  * Creates a process from the file pointed to by the KFS inode (index)
62  * This should take a real inode or something to point to the real location,
63  * and env_create shouldn't assume everything is contiguous
64  */
65 struct proc *kfs_proc_create(size_t kfs_inode)
66 {
67         if (kfs_inode < 0 || kfs_inode >= MAX_KFS_FILES)
68                 panic("Invalid kfs_inode.  Check you error codes!");
69         return env_create(kfs[kfs_inode].start, kfs[kfs_inode].size);
70 }