[c8cec85] | 1 | /*
|
---|
| 2 | * Copyright (c) 2017 Jakub Jermar
|
---|
| 3 | * All rights reserved.
|
---|
| 4 | *
|
---|
| 5 | * Redistribution and use in source and binary forms, with or without
|
---|
| 6 | * modification, are permitted provided that the following conditions
|
---|
| 7 | * are met:
|
---|
| 8 | *
|
---|
| 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.
|
---|
| 16 | *
|
---|
| 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.
|
---|
| 27 | */
|
---|
| 28 |
|
---|
[174156fd] | 29 | /** @addtogroup kernel_generic
|
---|
[c8cec85] | 30 | * @{
|
---|
| 31 | */
|
---|
| 32 | /** @file
|
---|
| 33 | */
|
---|
| 34 |
|
---|
[3f74275] | 35 | #ifndef KERN_CAP_H_
|
---|
| 36 | #define KERN_CAP_H_
|
---|
[c8cec85] | 37 |
|
---|
[98cb5e0d] | 38 | #include <abi/cap.h>
|
---|
[c8cec85] | 39 | #include <typedefs.h>
|
---|
[9e87562] | 40 | #include <adt/list.h>
|
---|
[05913fe7] | 41 | #include <adt/hash.h>
|
---|
| 42 | #include <adt/hash_table.h>
|
---|
| 43 | #include <lib/ra.h>
|
---|
[9e87562] | 44 | #include <synch/mutex.h>
|
---|
[48bcf49] | 45 | #include <atomic.h>
|
---|
[c8cec85] | 46 |
|
---|
[48bcf49] | 47 | typedef enum {
|
---|
| 48 | CAP_STATE_FREE,
|
---|
| 49 | CAP_STATE_ALLOCATED,
|
---|
| 50 | CAP_STATE_PUBLISHED
|
---|
| 51 | } cap_state_t;
|
---|
| 52 |
|
---|
[c8cec85] | 53 | typedef enum {
|
---|
[d51a0d6] | 54 | KOBJECT_TYPE_CALL,
|
---|
[48bcf49] | 55 | KOBJECT_TYPE_IRQ,
|
---|
[d51a0d6] | 56 | KOBJECT_TYPE_PHONE,
|
---|
[d314571] | 57 | KOBJECT_TYPE_WAITQ,
|
---|
[48bcf49] | 58 | KOBJECT_TYPE_MAX
|
---|
| 59 | } kobject_type_t;
|
---|
| 60 |
|
---|
| 61 | struct task;
|
---|
[d51a0d6] | 62 |
|
---|
| 63 | struct call;
|
---|
[48bcf49] | 64 | struct irq;
|
---|
[d51a0d6] | 65 | struct phone;
|
---|
[d314571] | 66 | struct waitq;
|
---|
[48bcf49] | 67 |
|
---|
| 68 | typedef struct kobject_ops {
|
---|
| 69 | void (*destroy)(void *);
|
---|
| 70 | } kobject_ops_t;
|
---|
| 71 |
|
---|
[fc0de8c] | 72 | extern kobject_ops_t *kobject_ops[];
|
---|
| 73 |
|
---|
| 74 | #define KOBJECT_OP(k) kobject_ops[(k)->type]
|
---|
| 75 |
|
---|
[6636fb19] | 76 | /*
|
---|
[d24e987] | 77 | * Everything in kobject_t except for the atomic reference count, the capability
|
---|
| 78 | * list and its lock is imutable.
|
---|
[6636fb19] | 79 | */
|
---|
[48bcf49] | 80 | typedef struct kobject {
|
---|
| 81 | kobject_type_t type;
|
---|
[31e15be] | 82 | atomic_size_t refcnt;
|
---|
[48bcf49] | 83 |
|
---|
[d24e987] | 84 | /** Mutex protecting caps_list */
|
---|
| 85 | mutex_t caps_list_lock;
|
---|
| 86 | /** List of published capabilities associated with the kobject */
|
---|
| 87 | list_t caps_list;
|
---|
| 88 |
|
---|
[48bcf49] | 89 | union {
|
---|
| 90 | void *raw;
|
---|
[d51a0d6] | 91 | struct call *call;
|
---|
[48bcf49] | 92 | struct irq *irq;
|
---|
[d51a0d6] | 93 | struct phone *phone;
|
---|
[d314571] | 94 | struct waitq *waitq;
|
---|
[48bcf49] | 95 | };
|
---|
| 96 | } kobject_t;
|
---|
[c8cec85] | 97 |
|
---|
[6636fb19] | 98 | /*
|
---|
| 99 | * A cap_t may only be accessed under the protection of the cap_info_t lock.
|
---|
| 100 | */
|
---|
[3f74275] | 101 | typedef struct cap {
|
---|
[48bcf49] | 102 | cap_state_t state;
|
---|
[e68765e] | 103 |
|
---|
[05913fe7] | 104 | struct task *task;
|
---|
[48bcf49] | 105 | cap_handle_t handle;
|
---|
[05ffb41] | 106 |
|
---|
[d24e987] | 107 | /** Link to the kobject's list of capabilities. */
|
---|
| 108 | link_t kobj_link;
|
---|
| 109 |
|
---|
[48bcf49] | 110 | /* Link to the task's capabilities of the same kobject type. */
|
---|
[05913fe7] | 111 | link_t type_link;
|
---|
| 112 |
|
---|
| 113 | ht_link_t caps_link;
|
---|
[9e87562] | 114 |
|
---|
[3f74275] | 115 | /* The underlying kernel object. */
|
---|
[48bcf49] | 116 | kobject_t *kobject;
|
---|
[3f74275] | 117 | } cap_t;
|
---|
[c8cec85] | 118 |
|
---|
[9e87562] | 119 | typedef struct cap_info {
|
---|
| 120 | mutex_t lock;
|
---|
| 121 |
|
---|
[48bcf49] | 122 | list_t type_list[KOBJECT_TYPE_MAX];
|
---|
[9e87562] | 123 |
|
---|
[05913fe7] | 124 | hash_table_t caps;
|
---|
| 125 | ra_arena_t *handles;
|
---|
[9e87562] | 126 | } cap_info_t;
|
---|
| 127 |
|
---|
[ce732e74] | 128 | extern void caps_init(void);
|
---|
[b7fd2a0] | 129 | extern errno_t caps_task_alloc(struct task *);
|
---|
[9e87562] | 130 | extern void caps_task_free(struct task *);
|
---|
| 131 | extern void caps_task_init(struct task *);
|
---|
[48bcf49] | 132 | extern bool caps_apply_to_kobject_type(struct task *, kobject_type_t,
|
---|
[9e87562] | 133 | bool (*)(cap_t *, void *), void *);
|
---|
[48bcf49] | 134 |
|
---|
[b7fd2a0] | 135 | extern errno_t cap_alloc(struct task *, cap_handle_t *);
|
---|
[48bcf49] | 136 | extern void cap_publish(struct task *, cap_handle_t, kobject_t *);
|
---|
| 137 | extern kobject_t *cap_unpublish(struct task *, cap_handle_t, kobject_type_t);
|
---|
[d24e987] | 138 | extern void cap_revoke(kobject_t *);
|
---|
[48bcf49] | 139 | extern void cap_free(struct task *, cap_handle_t);
|
---|
| 140 |
|
---|
[e394c196] | 141 | extern kobject_t *kobject_alloc(unsigned int);
|
---|
| 142 | extern void kobject_free(kobject_t *);
|
---|
[fc0de8c] | 143 | extern void kobject_initialize(kobject_t *, kobject_type_t, void *);
|
---|
[48bcf49] | 144 | extern kobject_t *kobject_get(struct task *, cap_handle_t, kobject_type_t);
|
---|
[6636fb19] | 145 | extern void kobject_add_ref(kobject_t *);
|
---|
[48bcf49] | 146 | extern void kobject_put(kobject_t *);
|
---|
[c8cec85] | 147 |
|
---|
| 148 | #endif
|
---|
| 149 |
|
---|
| 150 | /** @}
|
---|
| 151 | */
|
---|